1// This file is part of the SV-Benchmarks collection of verification tasks:
   2// https://github.com/sosy-lab/sv-benchmarks
   3//
   4// This file was part of CPAchecker,
   5// a tool for configurable software verification:
   6// https://cpachecker.sosy-lab.org
   7//
   8// SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
   9//
  10// SPDX-License-Identifier: Apache-2.0
  11
  12extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
  13void reach_error() { __assert_fail("0", "nested_1.c", 13, "reach_error"); }
  14
  15int main() {
  16	int a = 6;
  17
  18
  19	for(a = 0; a < 6; ++a) {●FULL
  20
  21	}
  22	if(!(a == 6 )) {◐PART
  23		reach_error();
  24	}
  25	return 1;
  26}