)]}'
{
  "commit": "3cbab07b08d2f3a3ed34b6ec12e67727c59d285c",
  "tree": "33798ed79e792ea0ba76f6b6722f376586888335",
  "parents": [
    "3d0f3382fa7b5677f35a9becf75ac436cd7eda7b"
  ],
  "author": {
    "name": "Alexandre Oliva",
    "email": "oliva@adacore.com",
    "time": "Thu Dec 07 00:38:18 2023 -0300"
  },
  "committer": {
    "name": "Alexandre Oliva",
    "email": "oliva@gnu.org",
    "time": "Thu Dec 07 00:38:18 2023 -0300"
  },
  "message": "analyzer: deal with -fshort-enums\n\nOn platforms that enable -fshort-enums by default, various switch-enum\nanalyzer tests fail, because apply_constraints_for_gswitch doesn\u0027t\nexpect the integral promotion type cast.  I\u0027ve arranged for the code\nto cope with those casts.\n\n\nfor  gcc/analyzer/ChangeLog\n\n\t* region-model.cc (has_nondefault_case_for_value_p): Take\n\tenumerate type as a parameter.\n\t(region_model::apply_constraints_for_gswitch): Cope with\n\tintegral promotion type casts.\n\nfor  gcc/testsuite/ChangeLog\n\n\t* gcc.dg/analyzer/switch-short-enum-1.c: New.\n\t* gcc.dg/analyzer/switch-no-short-enum-1.c: New.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "2157ad2578b858127967121ba0e821df49a2ff3c",
      "old_mode": 33188,
      "old_path": "gcc/analyzer/region-model.cc",
      "new_id": "6a7a8bc9f48845ad9731bebf664c78cc1ef17fa4",
      "new_mode": 33188,
      "new_path": "gcc/analyzer/region-model.cc"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "98f6d91f97481f35781c318f5d117bc4ed6acfa3",
      "new_mode": 33188,
      "new_path": "gcc/testsuite/gcc.dg/analyzer/switch-no-short-enum-1.c"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "384113fde5cbfe3904871cd177cfff41aa961a84",
      "new_mode": 33188,
      "new_path": "gcc/testsuite/gcc.dg/analyzer/switch-short-enum-1.c"
    }
  ]
}
