validation/var-undef-partial.c

   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  */