)]}'
{
  "commit": "22df349bbc047cd15e5df2187afc59c8c3cb3618",
  "tree": "0dcb8fd51c4dca1b58ecf94592d53f061a533f36",
  "parents": [
    "fc811192bb897b3244da0d99894a3909281e3b63"
  ],
  "author": {
    "name": "Piotr Trojanek",
    "email": "trojanek@adacore.com",
    "time": "Fri Feb 13 10:07:28 2026 +0100"
  },
  "committer": {
    "name": "Marc Poulhiès",
    "email": "dkm@gcc.gnu.org",
    "time": "Thu May 28 10:52:43 2026 +0200"
  },
  "message": "ada: Fix for illegal deep delta array aggregate with others\n\nDo not try to apply a scalar range check to \"others\" choice in deep delta array\naggregate. This choice is illegal, but we still need to handle it in expansion.\n\ngcc/ada/ChangeLog:\n\n\t* exp_spark.adb (Expand_SPARK_N_Delta_Aggregate): Special case for\n\t\"others\" clause.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c536889619c58227539a4f23f13a0bb37d20e03f",
      "old_mode": 33188,
      "old_path": "gcc/ada/exp_spark.adb",
      "new_id": "5df256996183d31b50b802c12aefef14526a6dc8",
      "new_mode": 33188,
      "new_path": "gcc/ada/exp_spark.adb"
    }
  ]
}
