gcc/testsuite/gcc.dg/analyzer/switch-wrong-enum.c

   1 #include "analyzer-decls.h"
   2
   3 enum color
   4 {
   5  RED,
   6  GREEN,
   7  BLUE
   8 };
   9
  10 enum fruit
  11 {
  12  APPLE,
  13  BANANA
  14 };
  15
  16 int test_wrong_enum (enum color x)
  17 {
  18   switch (x)
  19     {
  20     case APPLE:
  21       return 1066;
  22     case BANANA:
  23       return 1776;
  24     }
  25   __analyzer_dump_path (); /* { dg-message "path" } */
  26   return 0;
  27 }