)]}'
{
  "commit": "8d591bae993485db48852c19dd8611441ebecb22",
  "tree": "c59dc4ab4181c362a5071fa327afc1087826df09",
  "parents": [
    "363950a80d3d9848f89441ac00fc2915f123171f"
  ],
  "author": {
    "name": "Eric Botcazou",
    "email": "ebotcazou@adacore.com",
    "time": "Sun Jun 07 22:30:56 2026 +0200"
  },
  "committer": {
    "name": "Marc Poulhiès",
    "email": "dkm@gcc.gnu.org",
    "time": "Fri Jun 19 15:05:28 2026 +0200"
  },
  "message": "ada: Fix missing names for \u0027Image of enumeration type\n\nThis is a freezing issue introduced by the recent coupling of assertions and\nGhost mode, which are supposed to use different paths in the freezing code.\n\nIn light of this, it appears to be wise to undo the coupling and restore the\nclear separation between the two different mechanisms.  The price to pay is\nthe loss of the \"assertion would fail at run time\" warning for non-static\nassertions that are disabled (it is still present for static assertions),\nwhich seems to be an acceptable trade-off to avoid nasty freezing issues.\n\ngcc/ada/ChangeLog:\n\n\t* expander.adb (Expand): Revert latest change.\n\t* ghost.adb (Set_Ghost_Mode): Likewise.\n\t* sem_ch3.adb (Analyze_Subtype_Declaration): Also copy the RM size\n\tfor floating-point types.\n\t* sem_prag.adb (Analyze_Pragma) \u003cPragma_Check\u003e: Do not mark the\n\tpragma as Ghost when expander is active and the pragma is ignored.\n\tPreanalyze it instead of analyzing it, and rewrite it as a null\n\tstatement at the end of the processing.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "e2af4f8a00928e3ee55a0e46f82d904aa47a4721",
      "old_mode": 33188,
      "old_path": "gcc/ada/expander.adb",
      "new_id": "e5ecd2c7050c665dc0e50660be05040358482c84",
      "new_mode": 33188,
      "new_path": "gcc/ada/expander.adb"
    },
    {
      "type": "modify",
      "old_id": "dac1442b663eba58d1f3670eb968bff181c0d61c",
      "old_mode": 33188,
      "old_path": "gcc/ada/ghost.adb",
      "new_id": "b356bed9d40f6077450fcfca0f71a4118443fc40",
      "new_mode": 33188,
      "new_path": "gcc/ada/ghost.adb"
    },
    {
      "type": "modify",
      "old_id": "e909e288b82006d35268b85853fd22c2fe00c33d",
      "old_mode": 33188,
      "old_path": "gcc/ada/sem_ch3.adb",
      "new_id": "f25dc89d5fd901fc7d939d4881b2e63b63b1423f",
      "new_mode": 33188,
      "new_path": "gcc/ada/sem_ch3.adb"
    },
    {
      "type": "modify",
      "old_id": "7762797bba3edad85fb4f640d4c2aa4027f95c42",
      "old_mode": 33188,
      "old_path": "gcc/ada/sem_prag.adb",
      "new_id": "29ef2a46a44fd1510069535b30657547785d3c67",
      "new_mode": 33188,
      "new_path": "gcc/ada/sem_prag.adb"
    }
  ]
}