validation/sm_impossible1.c

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