)]}'
{
  "commit": "3652e9c5ace183f9cbaf6910d8aad6908a27231f",
  "tree": "3e9ec72ad288e354db74efbbf7d1efa55e865a2c",
  "parents": [
    "17cfc92f402493979783585b6581efbd98c0cf07"
  ],
  "author": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Sun Sep 04 14:29:30 2022 +0000"
  },
  "committer": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Wed Jul 17 16:01:31 2024 +0000"
  },
  "message": "gma: Work around GNATprove issue with nested loops\n\nAdd some explicit `Loop_Invariant (True)` to work around\nodd check messages. These show up since about the spark-\ncommunity-2019 release and still with newer versions,\nwhich almost seem to hang (takes some minutes longer than\nexpected). Example messages are provided below. Given that\nthe values are in the ranges as stated by the `for` loops,\nthey can\u0027t be out of range.\n\nhw-gfx-gma-plls.adb:323:14: medium: range check might fail\n  323 |         for M1 in reverse M1_Range range Limits.M1_Lower .. Limits.M1_Upper\n      |             ^~\n\nhw-gfx-gma-plls.adb:325:17: medium: range check might fail\n  325 |            for M2 in reverse M2_Range range Limits.M2_Lower .. Int64\u0027Min (Limits.M2_Upper, M1)\n      |                ^~\n\nhw-gfx-gma-plls.adb:327:20: medium: range check might fail\n  327 |               for P1 in reverse P1_Range range Limits.P1_Lower .. Limits.P1_Upper\n      |                   ^~\n\nhw-gfx-gma-plls.adb:332:41: medium: range check might fail\n  332 |                     M2              \u003d\u003e M2,\n      |                                        ^~\n  reason for check: input value must fit in parameter type\n\nChange-Id: I5430081767c760b85401300e0db4d26fd78270d7\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/c/libgfxinit/+/68112\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "67242f2d5bd36ad5578ee0cf5373a597466977a7",
      "old_mode": 33188,
      "old_path": "common/g45/hw-gfx-gma-plls.adb",
      "new_id": "5db76d62d4783eb7ee9fba6f77c62e8977fd2ea2",
      "new_mode": 33188,
      "new_path": "common/g45/hw-gfx-gma-plls.adb"
    },
    {
      "type": "modify",
      "old_id": "10e9ff2bfb849914bf0cc5471a7b6d04a091cfb1",
      "old_mode": 33188,
      "old_path": "common/ironlake/hw-gfx-gma-plls.adb",
      "new_id": "8b6ca36b26841ec1bce53e1674ac7f780255756d",
      "new_mode": 33188,
      "new_path": "common/ironlake/hw-gfx-gma-plls.adb"
    }
  ]
}