text: // This file is part of CPAchecker,
  // a tool for configurable software verification:
  // https://cpachecker.sosy-lab.org
  //
  // SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
  //
  // SPDX-License-Identifier: Apache-2.0
  
   // unused inside expression list with return statment
  
  int main()
  {
    (
        4,
        ({
          int c = 42;
          ({return 0;});
        })
      );
  
      ERROR: // unreachable
        return 1;
  }
  