Print this page
11972 resync smatch

Split Close
Expand all
Collapse all
          --- old/usr/src/tools/smatch/src/validation/kill-phi-ttsbb.c
          +++ new/usr/src/tools/smatch/src/validation/kill-phi-ttsbb.c
   1    1  int def(void);
   2    2  void use(int);
   3    3  
   4      -static int foo(int a, int b)
        4 +static void foo(int a, int b)
   5    5  {
   6    6          int c;
   7    7  
   8    8          if (a)
   9    9                  c = 1;
  10   10          else
  11   11                  c = def();
  12   12  
  13   13          if (c)
  14   14                  use(1);
↓ open down ↓ 14 lines elided ↑ open up ↑
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX