Print this page 
new smatch
Split Close
Expand all
Collapse all
          --- old/usr/src/tools/smatch/src/validation/infinite-loop02.c
          +++ new/usr/src/tools/smatch/src/validation/infinite-loop02.c
   1    1  void foo(void)
   2    2  {
   3    3          int a = 1;
   4    4          while ((a = !a))
   5    5                  ;
   6    6  }
   7    7  
   8    8  /*
   9    9   * check-name: infinite loop 02
  10   10   * check-command: sparse -Wno-decl $file
       11 + * check-timeout:
  11   12   */
    
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX