)]}'
{"common/haswell_shared/hw-gfx-gma-connectors-ddi.adb":[{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"da8351734fc173101dd3d6ee09084139dbf4cc91","unresolved":false,"context_lines":[{"line_number":711,"context_line":"      case Port_Cfg.Display is"},{"line_number":712,"context_line":"         when HDMI \u003d\u003e"},{"line_number":713,"context_line":"            Registers.Unset_And_Set_Mask"},{"line_number":714,"context_line":"              (Register    \u003d\u003e DDI_Regs (Port_Cfg.Port).BUF_CTL,"},{"line_number":715,"context_line":"               Mask_Unset  \u003d\u003e DDI_BUF_CTL_TRANS_SELECT_MASK or"},{"line_number":716,"context_line":"                              DDI_BUF_CTL_PORT_REVERSAL,"},{"line_number":717,"context_line":"               Mask_Set    \u003d\u003e DDI_BUF_CTL_BUFFER_ENABLE);"}],"source_content_type":"application/octet-stream","patch_set":9,"id":"5604e4b6_3d0536c1","line":714,"updated":"2026-07-08 15:24:22.000000000","message":"Config(s): skylake\n```\nhw-gfx-gma-connectors-ddi.adb:714: medium: array index check might fail\n  714 |              (Register    \u003d\u003e DDI_Regs (Port_Cfg.Port).BUF_CTL,\n      |                                                ^ here\n  reason for check: value must be a valid index into the array\n```","commit_id":"93fc6d8a4b87eada5d4e34fc634c760f6f939068"}],"common/hw-gfx-gma-pipe_setup.adb":[{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"115a2e4a715b278942b2781d9655d01fc1102de7","unresolved":false,"context_lines":[{"line_number":162,"context_line":""},{"line_number":163,"context_line":"   function Encode_Size (LSW, MSW : Int32) return Word32"},{"line_number":164,"context_line":"   is"},{"line_number":165,"context_line":"     (Shift_Left (Word32 (MSW) - 1, 16) or (Word32 (LSW) - 1));"},{"line_number":166,"context_line":""},{"line_number":167,"context_line":"   function Source_Width (Framebuffer : Framebuffer_Type) return Int32"},{"line_number":168,"context_line":"   is"}],"source_content_type":"application/octet-stream","patch_set":4,"id":"503c24e7_d6468d98","line":165,"updated":"2026-07-03 11:00:53.000000000","message":"Config(s): haswell skylake g45 tigerlake ironlake ironlake_edp alderlake broxton i945\n```\nhw-gfx-gma-pipe_setup.adb:165: medium: range check might fail\n  165 |     (Shift_Left (Word32 (MSW) - 1, 16) or (Word32 (LSW) - 1));\n      |                                                    ^ here\n  e.g. when LSW \u003d -1\n  reason for check: value must be convertible to the target type of the conversion\n  possible fix: subprogram at line 163 should mention LSW in a precondition\n  163 |   function Encode_Size (LSW, MSW : Int32) return Word32\n      |   ^ here\n```\nConfig(s): g45 haswell i945 ironlake_edp broxton skylake ironlake tigerlake alderlake\n```\nhw-gfx-gma-pipe_setup.adb:165: medium: range check might fail\n  165 |     (Shift_Left (Word32 (MSW) - 1, 16) or (Word32 (LSW) - 1));\n      |                          ^ here\n  e.g. when LSW \u003d 0\n        and MSW \u003d -1\n  reason for check: value must be convertible to the target type of the conversion\n  possible fix: subprogram at line 163 should mention MSW in a precondition\n  163 |   function Encode_Size (LSW, MSW : Int32) return Word32\n      |   ^ here\n```","commit_id":"f8dfec402700ffa6800b78184b691e4b0c577ab5"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"115a2e4a715b278942b2781d9655d01fc1102de7","unresolved":false,"context_lines":[{"line_number":594,"context_line":"      Post \u003d\u003e"},{"line_number":595,"context_line":"         Width \u003c\u003d Max_Width and Height \u003c\u003d Max_Height"},{"line_number":596,"context_line":"   is"},{"line_number":597,"context_line":"      Src_Width : constant Width_Type :\u003d Source_Width (Framebuffer);"},{"line_number":598,"context_line":"      Src_Height : constant Height_Type :\u003d Source_Height (Framebuffer);"},{"line_number":599,"context_line":"   begin"},{"line_number":600,"context_line":"      case Scaling_Type (Src_Width, Src_Height, Max_Width, Max_Height) is"}],"source_content_type":"application/octet-stream","patch_set":4,"id":"0b7895d4_30e41b4c","line":597,"updated":"2026-07-03 11:00:53.000000000","message":"Config(s): tigerlake alderlake\n```\nhw-gfx-gma-pipe_setup.adb:597: medium: range check might fail\n  597 |      Src_Width : constant Width_Type :\u003d Source_Width (Framebuffer);\n      |                                         ^ here\n  e.g. when Framebuffer.Width \u003d 1\n        and Framebuffer.Height \u003d 1\n        and Framebuffer.Stride \u003d 1\n        and Framebuffer.V_Stride \u003d 1\n        and Framebuffer.Rotation \u003d Rotated_90\n  reason for check: default component value must fit in the type\n```","commit_id":"f8dfec402700ffa6800b78184b691e4b0c577ab5"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"115a2e4a715b278942b2781d9655d01fc1102de7","unresolved":false,"context_lines":[{"line_number":600,"context_line":"      case Scaling_Type (Src_Width, Src_Height, Max_Width, Max_Height) is"},{"line_number":601,"context_line":"         when Letterbox \u003d\u003e"},{"line_number":602,"context_line":"            Height :\u003d (Src_Height * Max_Width) / Src_Width;"},{"line_number":603,"context_line":"            pragma Assert (Height \u003c\u003d Max_Height);"},{"line_number":604,"context_line":"            Width  :\u003d Max_Width;"},{"line_number":605,"context_line":"         when Pillarbox \u003d\u003e"},{"line_number":606,"context_line":"            Width  :\u003d (Src_Width * Max_Height) / Src_Height;"}],"source_content_type":"application/octet-stream","patch_set":4,"id":"810bbd78_0ddb09da","line":603,"updated":"2026-07-03 11:00:53.000000000","message":"Config(s): skylake broxton haswell i945 ironlake_edp ironlake alderlake tigerlake g45\n```\nhw-gfx-gma-pipe_setup.adb:603: medium: assertion might fail, cannot prove Height \u003c\u003d Max_Height\n  603 |            pragma Assert (Height \u003c\u003d Max_Height);\n      |                           ^ here\n```","commit_id":"f8dfec402700ffa6800b78184b691e4b0c577ab5"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"115a2e4a715b278942b2781d9655d01fc1102de7","unresolved":false,"context_lines":[{"line_number":631,"context_line":"   begin"},{"line_number":632,"context_line":"      case Scaling is"},{"line_number":633,"context_line":"         when None \u003d\u003e"},{"line_number":634,"context_line":"            Width  :\u003d Source_Width (Framebuffer);"},{"line_number":635,"context_line":"            Height :\u003d Source_Height (Framebuffer);"},{"line_number":636,"context_line":"         when Keep_Aspect \u003d\u003e"},{"line_number":637,"context_line":"            Scale_Keep_Aspect (Width, Height, Max_Width, Max_Height, Framebuffer);"}],"source_content_type":"application/octet-stream","patch_set":4,"id":"666f71f0_bbf34357","line":634,"updated":"2026-07-03 11:00:53.000000000","message":"Config(s): alderlake\n```\nhw-gfx-gma-pipe_setup.adb:634: medium: range check might fail\n  634 |            Width  :\u003d Source_Width (Framebuffer);\n      |                      ^ heremake[1]: Entering directory \u0027/home/gnatbot/libgfxinit\u0027\n    GENERATE   common/hw-gfx-gma-config.ads\n    GENERATE   gfxinit_i945.gpr\n```\nConfig(s): tigerlake\n```\nhw-gfx-gma-pipe_setup.adb:634: medium: range check might fail\n  634 |            Width  :\u003d Source_Width (Framebuffer);\n      |                      ^ heremake[1]: Entering directory \u0027/home/gnatbot/libgfxinit\u0027\n    GENERATE   common/hw-gfx-gma-config.ads\n    GENERATE   gfxinit_ironlake.gpr\n```","commit_id":"f8dfec402700ffa6800b78184b691e4b0c577ab5"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"115a2e4a715b278942b2781d9655d01fc1102de7","unresolved":false,"context_lines":[{"line_number":729,"context_line":"         Rotated_Width (Pipe_Cfg.Framebuffer) \u003c\u003d Mode.H_Visible and"},{"line_number":730,"context_line":"         Rotated_Height (Pipe_Cfg.Framebuffer) \u003c\u003d Mode.V_Visible"},{"line_number":731,"context_line":"   is"},{"line_number":732,"context_line":"      Width_In    : constant Width_Type   :\u003d Source_Width (Pipe_Cfg.Framebuffer);"},{"line_number":733,"context_line":"      Height_In   : constant Height_Type  :\u003d Source_Height (Pipe_Cfg.Framebuffer);"},{"line_number":734,"context_line":"      Limits      : constant Pipe_Scaler_Limit_Config :\u003d"},{"line_number":735,"context_line":"        (if Config.Has_Skylake_Scaler_Limits then"}],"source_content_type":"application/octet-stream","patch_set":4,"id":"02057ac3_21888cd6","line":732,"updated":"2026-07-03 11:00:53.000000000","message":"Config(s): tigerlake alderlake\n```\nhw-gfx-gma-pipe_setup.adb:732: medium: range check might fail\n  732 |      Width_In    : constant Width_Type   :\u003d Source_Width (Pipe_Cfg.Framebuffer);\n      |                                             ^ here\n  e.g. when Pipe_Cfg.Framebuffer.Width \u003d 1\n        and Pipe_Cfg.Framebuffer.Height \u003d 1\n        and Pipe_Cfg.Framebuffer.Stride \u003d 1\n        and Pipe_Cfg.Framebuffer.V_Stride \u003d 1\n        and Pipe_Cfg.Framebuffer.Rotation \u003d Rotated_90\n  reason for check: default component value must fit in the type\n```","commit_id":"f8dfec402700ffa6800b78184b691e4b0c577ab5"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"da8351734fc173101dd3d6ee09084139dbf4cc91","unresolved":false,"context_lines":[{"line_number":1068,"context_line":""},{"line_number":1069,"context_line":"      Legacy_VGA_Off;"},{"line_number":1070,"context_line":""},{"line_number":1071,"context_line":"      for Pipe in Pipe_Index range Pipe_Index\u0027First .. Config.Max_Pipe loop"},{"line_number":1072,"context_line":"         Planes_Off (Controllers (Pipe), Cursors (Pipe));"},{"line_number":1073,"context_line":"         Transcoder.Off (Pipe);"},{"line_number":1074,"context_line":"         Panel_Fitter_Off (Controllers (Pipe));"}],"source_content_type":"application/octet-stream","patch_set":9,"id":"48b26763_1b0f12ee","line":1071,"updated":"2026-07-08 15:24:22.000000000","message":"Config(s): ironlake\n```\nhw-gfx-gma-pipe_setup.adb:1071: medium: range check might fail\n 1071 |      for Pipe in Pipe_Index range Pipe_Index\u0027First .. Config.Max_Pipe loop\n      |          ^ here\n```","commit_id":"93fc6d8a4b87eada5d4e34fc634c760f6f939068"}]}