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  }