)]}'
{
  "commit": "20a59cd8d305540113643c1f8609aae9032d4e4f",
  "tree": "86adcb8943b5e7212d03c4bca7e0e3f447223e0d",
  "parents": [
    "d0aa904d265a223f53c5aec551d129c55dc33bd4"
  ],
  "author": {
    "name": "Denis Mazzucato",
    "email": "mazzucato@adacore.com",
    "time": "Tue Dec 23 15:25:46 2025 +0100"
  },
  "committer": {
    "name": "Eric Botcazou",
    "email": "ebotcazou@adacore.com",
    "time": "Thu May 28 15:50:09 2026 +0200"
  },
  "message": "ada: Enable checks during analysis of expanded dispatching calls\n\nThis patch enables the generation of run-time checks during the analysis and\nresolution of expanded dispatching calls. They were previously disabled to avoid\nreporting spurious warnings under the ZFP run-time, but this is no longer\nrequired.\n\ngcc/ada/ChangeLog:\n\n\t* exp_disp.adb (Expand_Dispatching_Call): Remove suppression of checks\n\tduring analysis of expanded dispatching calls.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "73e76bd037d05762e1bd02ae507a871f0df85cb9",
      "old_mode": 33188,
      "old_path": "gcc/ada/exp_disp.adb",
      "new_id": "8e0bcce49f9061d00f157fcb4fa985aa2c5b0b29",
      "new_mode": 33188,
      "new_path": "gcc/ada/exp_disp.adb"
    }
  ]
}