1 int foo(int a, int b) 2 { 3 int var = 0; 4 int r; 5 6 if (a) 7 var = 1; 8 if (b) 9 r = var; 10 11 return r; // undef if !b 12 } 13 14 /* 15 * check-name: variable partially undefined 16 * check-description: trigger a bug in symbol/memop simplification 17 * check-description: sparse-llvm is used here as semantic checker of sparse's IR 18 * check-command: sparse-llvm -Wno-decl $file 19 * check-output-ignore 20 */ 21