)]}'
{
  "commit": "31ed7aec86c2cb4dc47e405f4be21fc840c7d5cf",
  "tree": "3fb0bb89053e4961ff357f03e8616bf4677f6f30",
  "parents": [
    "be07701934f75b112593f37d72cd8842ce969b79"
  ],
  "author": {
    "name": "Eric Botcazou",
    "email": "ebotcazou@adacore.com",
    "time": "Fri Nov 07 13:10:00 2025 +0100"
  },
  "committer": {
    "name": "Eric Botcazou",
    "email": "ebotcazou@adacore.com",
    "time": "Fri Nov 21 18:12:15 2025 +0100"
  },
  "message": "ada: Fix bogus error about null exclusion for designated type with multiple views\n\nIt comes from the new legality check retroactively introduced by AI12-0289,\nbut the implementation is fooled by the presence of both an incomplete and\na partial view for a tagged type.\n\ngcc/ada/ChangeLog:\n\n\tPR ada/111433\n\t* sem_util.ads (Incomplete_Or_Partial_View): Add Partial_Only formal\n\tparameter.\n\t* sem_util.adb (Incomplete_Or_Partial_View): Likewise.  Do not look\n\tfor an incomplete view if it is set to True.\n\t* sem_ch6.adb (Check_Conformance.Null_Exclusions_Match): Pass True\n\tfor Partial_Only in the call to Incomplete_Or_Partial_View.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "aed983f7a3118ba97aec9911e373861a32c4d5e6",
      "old_mode": 33188,
      "old_path": "gcc/ada/sem_ch6.adb",
      "new_id": "8f208d73cc30c025b588d4143309138c4e95c3e3",
      "new_mode": 33188,
      "new_path": "gcc/ada/sem_ch6.adb"
    },
    {
      "type": "modify",
      "old_id": "4961c7a7115a0b928232c3bfa285bb83b1539256",
      "old_mode": 33188,
      "old_path": "gcc/ada/sem_util.adb",
      "new_id": "295e7f74067a07daac456853a01533c165bdd4f2",
      "new_mode": 33188,
      "new_path": "gcc/ada/sem_util.adb"
    },
    {
      "type": "modify",
      "old_id": "fd749c4b8d41c94f21cc5573033045e06ec69993",
      "old_mode": 33188,
      "old_path": "gcc/ada/sem_util.ads",
      "new_id": "df2f193294f9d6ae1de3a33ab5a7b6b47e407829",
      "new_mode": 33188,
      "new_path": "gcc/ada/sem_util.ads"
    }
  ]
}
