Print this page
12724 update smatch to 0.6.1-rc1-il-5

Split Close
Expand all
Collapse all
          --- old/usr/src/tools/smatch/src/validation/sm_impossible1.c
          +++ new/usr/src/tools/smatch/src/validation/sm_impossible1.c
↓ open down ↓ 11 lines elided ↑ open up ↑
  12   12                  __smatch_states("register_impossible_return");
  13   13          else
  14   14                  __smatch_states("register_impossible_return");
  15   15  }
  16   16  
  17   17  /*
  18   18   * check-name: smatch impossible #1
  19   19   * check-command: smatch -I.. sm_impossible1.c
  20   20   *
  21   21   * check-output-start
  22      -sm_impossible1.c:12 main() [register_impossible_return] 'impossible' = 'impossible'
       22 +sm_impossible1.c:12 main() [register_impossible_return] impossible = 'impossible'
  23   23  sm_impossible1.c:14 main() register_impossible_return: no states
  24   24   * check-output-end
  25   25   */
    
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX