validation/sm_impossible2.c

   1 #include "check_debug.h"
   2
   3 int one(void)
   4 {
   5         return 1;
   6 }
   7
   8
   9 int main(unsigned int x, unsigned int y)
  10 {
  11         if (one())
  12                 __smatch_states("register_impossible_return");
  13         else
  14                 __smatch_states("register_impossible_return");
  15 }
  16
  17 /*
  18  * check-name: smatch impossible #2
  19  * check-command: smatch -I.. sm_impossible2.c
  20  *
  21  * check-output-start
  22 sm_impossible2.c:12 main() [register_impossible_return] 'impossible' = 'undefined'
  23 sm_impossible2.c:14 main() [register_impossible_return] 'impossible' = 'impossible'
  24  * check-output-end
  25  */