gcc/testsuite/c-c++-common/analyzer/computed-goto-1.c

   1 #include "../../gcc.dg/analyzer/analyzer-decls.h"
   2
   3 void test_1 (int pc)
   4 {
   5   void *arr[2] = {&&x, &&y};
   6
   7   goto *arr[pc];
   8
   9 x:
  10   __analyzer_dump_path (); /* { dg-message "path" } */
  11   __analyzer_eval (pc == 0); /* { dg-warning "TRUE" "true" { xfail *-*-* } .-1 } */
  12   /* { dg-bogus "UNKNOWN" "unknown" { xfail *-*-* } .-1 } */
  13   return;
  14
  15  y:
  16   __analyzer_dump_path (); /* { dg-message "path" } */
  17   __analyzer_eval (pc == 1); /* { dg-warning "TRUE" "" { xfail *-*-* } } */
  18   /* { dg-bogus "UNKNOWN" "unknown" { xfail *-*-* } .-1 } */
  19   return;
  20 }
  21
  22 void test_duplicates (int pc)
  23 {
  24   void *arr[3] = {&&x, &&y, &&x};
  25   int var = 0;
  26
  27   goto *arr[pc];
  28
  29  x:
  30   __analyzer_dump_path (); /* { dg-message "path" } */
  31   __analyzer_eval (pc == 0); /* { dg-warning "UNKNOWN" } */
  32   return;
  33
  34  y:
  35   __analyzer_dump_path (); /* { dg-message "path" } */
  36   __analyzer_eval (pc == 1); /* { dg-warning "TRUE" "" { xfail *-*-* } } */
  37   /* { dg-bogus "UNKNOWN" "unknown" { xfail *-*-* } .-1 } */
  38   return;
  39 }
  40
  41 void test_multiple (int pc)
  42 {
  43   void *arr[2] = {&&x, &&y};
  44
  45   goto *arr[pc];
  46
  47 x:
  48   __analyzer_dump_path (); /* { dg-message "path" } */
  49   __analyzer_eval (pc == 0); /* { dg-warning "TRUE" "true" { xfail *-*-* } .-1 } */
  50   /* { dg-bogus "UNKNOWN" "unknown" { xfail *-*-* } .-1 } */
  51
  52   goto *arr[pc];
  53
  54  y:
  55   __analyzer_dump_path (); /* { dg-message "path" } */
  56   __analyzer_eval (pc == 1); /* { dg-warning "TRUE" "" { xfail *-*-* } } */
  57   /* { dg-bogus "UNKNOWN" "unknown" { xfail *-*-* } .-1 } */
  58
  59   goto *arr[pc];
  60 }