)]}'
{
  "commit": "b285704c459d179906ce6eff802457a5bd673fbb",
  "tree": "8add22b638f654198313f36dd9ff02ec67f20189",
  "parents": [
    "898335111604872d7b5634bf631c10ac3cd88786"
  ],
  "author": {
    "name": "Javier Miranda",
    "email": "miranda@adacore.com",
    "time": "Fri Jan 16 17:11:55 2026 +0000"
  },
  "committer": {
    "name": "Eric Botcazou",
    "email": "ebotcazou@adacore.com",
    "time": "Thu May 28 15:50:11 2026 +0200"
  },
  "message": "ada: Spurious error on formals with First_Controlling_Parameter type\n\nThis patch fixes a spurious error reported by the frontend when\na dispatching primitive of a tagged type has additional formals\nwith types that have the First_Controlling_Parameter aspect.\n\ngcc/ada/ChangeLog:\n\n\t* sem_disp.adb (Check_Controlling_Formals): Formals of a type\n\tspecifying aspect First_Controlling_Parameter are not candidate\n\tcontrolling parameters when they are not the first formal of\n\tthe dispatching primitive.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ff606c7cfa7b5980ca7f293b3f2a3b227a37df07",
      "old_mode": 33188,
      "old_path": "gcc/ada/sem_disp.adb",
      "new_id": "160f1a3157518b13fb2f847b2fe08c055e654a55",
      "new_mode": 33188,
      "new_path": "gcc/ada/sem_disp.adb"
    }
  ]
}
