Print this page
new smatch

Split Close
Expand all
Collapse all
          --- old/usr/src/tools/smatch/src/validation/cond-address.c
          +++ new/usr/src/tools/smatch/src/validation/cond-address.c
↓ open down ↓ 2 lines elided ↑ open up ↑
   3    3  
   4    4  int foo(void) { if (f) return 1; return 0; }
   5    5  int bar(void) { if (a) return 1; return 0; }
   6    6  int qux(void) { if (f && a) return 1; return 0; }
   7    7  
   8    8  /*
   9    9   * check-name: cond-address.c
  10   10   * check-command: test-linearize -Wno-decl $file
  11   11   * check-output-ignore
  12   12   *
  13      - * check-excludes: VOID
       13 + * check-output-excludes: VOID
  14   14   */
    
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX