// PARAM: --set ana.base.arrays.domain partitioned
// NOCHECK
int garr[7];

int main(int argc, char **argv)
{
	// Call to a function with a missing fundef causes invalidation of garr
	fundef_missing();

	garr[0] = 8;


	if (garr[1] == 1) {
		// Statement so CIL doesn't optimize the if out
		int ret = 12;
	}
}
