gcc/testsuite/c-c++-common/analyzer/symbolic-12.c

   1 #include "../../gcc.dg/analyzer/analyzer-decls.h"
   2
   3 void external_fn(void);
   4
   5 struct st_1
   6 {
   7   char *name;
   8   unsigned size;
   9 };
  10
  11 void test_1a (void *p, unsigned next_off)
  12 {
  13   struct st_1 *r = (struct st_1 *) p;
  14
  15   external_fn();
  16
  17   if (next_off >= r->size)
  18     return;
  19
  20   if (next_off >= r->size)
  21     /* We should have already returned if this is the case.  */
  22     __analyzer_dump_path (); /* { dg-bogus "path" } */
  23 }
  24
  25 void test_1b (void *p, unsigned next_off)
  26 {
  27   struct st_1 *r = (struct st_1 *) p;
  28
  29   if (next_off >= r->size)
  30     return;
  31
  32   if (next_off >= r->size)
  33     /* We should have already returned if this is the case.  */
  34     __analyzer_dump_path (); /* { dg-bogus "path" } */
  35 }
  36
  37 void test_1c (struct st_1 *r, unsigned next_off)
  38 {
  39   if (next_off >= r->size)
  40     return;
  41
  42   if (next_off >= r->size)
  43     /* We should have already returned if this is the case.  */
  44     __analyzer_dump_path (); /* { dg-bogus "path" } */
  45 }
  46
  47 void test_1d (struct st_1 *r, unsigned next_off)
  48 {
  49   external_fn();
  50
  51   if (next_off >= r->size)
  52     return;
  53
  54   if (next_off >= r->size)
  55     /* We should have already returned if this is the case.  */
  56     __analyzer_dump_path (); /* { dg-bogus "path" } */
  57 }
  58
  59 void test_1e (void *p, unsigned next_off)
  60 {
  61   struct st_1 *r = (struct st_1 *) p;
  62
  63   while (1)
  64     {
  65       external_fn();
  66
  67       if (next_off >= r->size)
  68         return;
  69
  70       __analyzer_dump_path (); /* { dg-message "path" } */
  71     }
  72 }
  73
  74 struct st_2
  75 {
  76   char *name;
  77   unsigned arr[10];
  78 };
  79
  80 void test_2a (void *p, unsigned next_off)
  81 {
  82   struct st_2 *r = (struct st_2 *) p;
  83
  84   external_fn();
  85
  86   if (next_off >= r->arr[5])
  87     return;
  88
  89   if (next_off >= r->arr[5])
  90     /* We should have already returned if this is the case.  */
  91     __analyzer_dump_path (); /* { dg-bogus "path" } */
  92 }
  93
  94 void test_2b (void *p, unsigned next_off, int idx)
  95 {
  96   struct st_2 *r = (struct st_2 *) p;
  97
  98   external_fn();
  99
 100   if (next_off >= r->arr[idx])
 101     return;
 102
 103   if (next_off >= r->arr[idx])
 104     /* We should have already returned if this is the case.  */
 105     __analyzer_dump_path (); /* { dg-bogus "path" } */
 106 }