gcc/testsuite/c-c++-common/analyzer/paths-4.c

   1 #include "analyzer-decls.h"
   2
   3 struct state
   4 {
   5   int mode;
   6   int data;
   7 };
   8
   9 extern void do_stuff (struct state *, int);
  10
  11 int test_1 (struct state *s)
  12 {
  13   __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
  14   while (1)
  15     {
  16       __analyzer_dump_exploded_nodes (0); /* { dg-warning "2 processed enode" } */
  17       __analyzer_dump_exploded_nodes (0); /* { dg-warning "2 processed enode" } */
  18       /* TODO: why does the above need an extra stmt to merge state?  */
  19       do_stuff (s, s->mode);
  20     }
  21 }
  22
  23 int test_2 (struct state *s)
  24 {
  25   __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
  26   while (1)
  27     {
  28       __analyzer_dump_exploded_nodes (0); /* { dg-warning "2 processed enode" } */
  29       /* { dg-warning "infinite loop" "" { target *-*-* } .-1 } */
  30       __analyzer_dump_exploded_nodes (0); /* { dg-warning "2 processed enode" } */
  31       /* TODO: why does the above need an extra stmt to merge state?  */
  32       switch (s->mode) /* { dg-message "if it ever follows 'default:' branch, it will always do so\.\.\." } */
  33         {
  34         case 0:
  35           __analyzer_dump_exploded_nodes (0); /* { dg-warning "2 processed enode" } */
  36           do_stuff (s, 0);
  37           break;
  38         case 1:
  39           __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
  40           do_stuff (s, 17);
  41           break;
  42         case 2:
  43           __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
  44           do_stuff (s, 5);
  45           break;
  46         case 3:
  47           __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
  48           return 42;
  49         case 4:
  50           __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
  51           return -3;
  52         }
  53     }
  54 }