Print this page
new smatch
   1 int def(void);
   2 void use(int);
   3 
   4 static int foo(int a, int b)
   5 {
   6         int c;
   7 
   8         if (a)
   9                 c = 1;
  10         else
  11                 c = def();
  12 
  13         if (c)
  14                 use(1);
  15         else
  16                 use(0);
  17 }
  18 
  19 /*
  20  * check-name: kill-phi-ttsbb
  21  * check-description:
  22  *      Verify if OP_PHI usage is adjusted after successful try_to_simplify_bb()
  23  * check-command: test-linearize $file
  24  * check-output-ignore
   1 int def(void);
   2 void use(int);
   3 
   4 static void foo(int a, int b)
   5 {
   6         int c;
   7 
   8         if (a)
   9                 c = 1;
  10         else
  11                 c = def();
  12 
  13         if (c)
  14                 use(1);
  15         else
  16                 use(0);
  17 }
  18 
  19 /*
  20  * check-name: kill-phi-ttsbb
  21  * check-description:
  22  *      Verify if OP_PHI usage is adjusted after successful try_to_simplify_bb()
  23  * check-command: test-linearize $file
  24  * check-output-ignore