)]}'
{"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":"4c10c87bf5357d892854e1191cbe254bfc3162d2","unresolved":false,"context_lines":[{"line_number":573,"context_line":""},{"line_number":574,"context_line":"         PCH.FDI.Auto_Train (PCH.FDI_A);"},{"line_number":575,"context_line":"         Registers.Is_Set_Mask"},{"line_number":576,"context_line":"           (Register \u003d\u003e DDI_Regs (DIGI_E).DP_TP_STATUS,"},{"line_number":577,"context_line":"            Mask     \u003d\u003e DP_TP_STATUS_FDI_AUTO_TRAIN_DONE,"},{"line_number":578,"context_line":"            Result   \u003d\u003e Success);"},{"line_number":579,"context_line":"         exit when Success;"}],"source_content_type":"application/octet-stream","patch_set":2,"id":"004c8b88_69bba950","line":576,"updated":"2026-07-02 13:09:42.000000000","message":"Config(s): broxton\n```\nhw-gfx-gma-connectors-ddi.adb:576: medium: range check might fail\n  576 |           (Register \u003d\u003e DDI_Regs (DIGI_E).DP_TP_STATUS,\n      |                                         ^ here\n  reason for check: input value must fit in parameter type\n```","commit_id":"faa309ba604518757794ae4147ac02b08237b2f5"},{"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":"950ea0dbc35812d826e8f23984fde71fc0bc0818","unresolved":false,"context_lines":[{"line_number":573,"context_line":""},{"line_number":574,"context_line":"         PCH.FDI.Auto_Train (PCH.FDI_A);"},{"line_number":575,"context_line":"         Registers.Is_Set_Mask"},{"line_number":576,"context_line":"           (Register \u003d\u003e DDI_Regs (DIGI_E).DP_TP_STATUS,"},{"line_number":577,"context_line":"            Mask     \u003d\u003e DP_TP_STATUS_FDI_AUTO_TRAIN_DONE,"},{"line_number":578,"context_line":"            Result   \u003d\u003e Success);"},{"line_number":579,"context_line":"         exit when Success;"}],"source_content_type":"application/octet-stream","patch_set":4,"id":"03fb5404_2b2a9b34","line":576,"updated":"2026-07-03 11:07:21.000000000","message":"Config(s): haswell\n```\nhw-gfx-gma-connectors-ddi.adb:576: medium: range check might fail\n  576 |           (Register \u003d\u003e DDI_Regs (DIGI_E).DP_TP_STATUS,\n      |                                         ^ here\n  reason for check: input value must fit in parameter type\n```","commit_id":"707b6446c22a86eaaf312d8213f76eaabda78a9c"}],"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":"4c10c87bf5357d892854e1191cbe254bfc3162d2","unresolved":false,"context_lines":[{"line_number":552,"context_line":"        (X \u003d\u003e"},{"line_number":553,"context_line":"           (case FB.Rotation is"},{"line_number":554,"context_line":"               when No_Rotation  \u003d\u003e Center.X,"},{"line_number":555,"context_line":"               when Rotated_90   \u003d\u003e FB.Height   - 1 - Center.Y,"},{"line_number":556,"context_line":"               when Rotated_180  \u003d\u003e FB.Width    - 1 - Center.X,"},{"line_number":557,"context_line":"               when Rotated_270  \u003d\u003e Center.Y),"},{"line_number":558,"context_line":"         Y \u003d\u003e"}],"source_content_type":"application/octet-stream","patch_set":2,"id":"edfbc2e3_044ca3ca","line":555,"updated":"2026-07-02 13:09:42.000000000","message":"Config(s): ironlake skylake i945 g45 ironlake_edp haswell alderlake tigerlake broxton\n```\nhw-gfx-gma-pipe_setup.adb:555: medium: range check might fail\n  555 |               when Rotated_90   \u003d\u003e FB.Height   - 1 - Center.Y,\n      |                                                    ^ here\n  e.g. when Center \u003d (X \u003d\u003e Cursor_Pos\u0027First, Y \u003d\u003e Cursor_Pos\u0027First)\n        and FB.Height \u003d 1\n        and FB.V_Stride \u003d 1\n        and FB.Rotation \u003d Rotated_90\n  possible fix: subprogram at line 551 should mention Center in a precondition\n  551 |      function Rotate (Center : Cursor_Coord) return Cursor_Coord is\n      |      ^ here\n```","commit_id":"faa309ba604518757794ae4147ac02b08237b2f5"},{"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":"e06b75cfbf9e19d32d9ed2e860a000e4ad47f3ea","unresolved":false,"context_lines":[{"line_number":552,"context_line":"        (X \u003d\u003e"},{"line_number":553,"context_line":"           (case FB.Rotation is"},{"line_number":554,"context_line":"               when No_Rotation  \u003d\u003e Center.X,"},{"line_number":555,"context_line":"               when Rotated_90   \u003d\u003e FB.Height   - 1 - Center.Y,"},{"line_number":556,"context_line":"               when Rotated_180  \u003d\u003e FB.Width    - 1 - Center.X,"},{"line_number":557,"context_line":"               when Rotated_270  \u003d\u003e Center.Y),"},{"line_number":558,"context_line":"         Y \u003d\u003e"}],"source_content_type":"application/octet-stream","patch_set":2,"id":"d8bce4c8_394d40e2","line":555,"updated":"2026-07-02 13:12:46.000000000","message":"Config(s): skylake tigerlake alderlake ironlake i945 broxton g45 haswell ironlake_edp\n```\nhw-gfx-gma-pipe_setup.adb:555: medium: range check might fail\n  555 |               when Rotated_90   \u003d\u003e FB.Height   - 1 - Center.Y,\n      |                                                    ^ here\n  e.g. when Center \u003d (X \u003d\u003e Cursor_Pos\u0027First, Y \u003d\u003e Cursor_Pos\u0027First)\n        and FB.Height \u003d 1\n        and FB.V_Stride \u003d 1\n        and FB.Rotation \u003d Rotated_90\n  possible fix: subprogram at line 551 should mention Center in a precondition\n  551 |      function Rotate (Center : Cursor_Coord) return Cursor_Coord is\n      |      ^ here\n```","commit_id":"faa309ba604518757794ae4147ac02b08237b2f5"},{"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":"e06b75cfbf9e19d32d9ed2e860a000e4ad47f3ea","unresolved":false,"context_lines":[{"line_number":553,"context_line":"           (case FB.Rotation is"},{"line_number":554,"context_line":"               when No_Rotation  \u003d\u003e Center.X,"},{"line_number":555,"context_line":"               when Rotated_90   \u003d\u003e FB.Height   - 1 - Center.Y,"},{"line_number":556,"context_line":"               when Rotated_180  \u003d\u003e FB.Width    - 1 - Center.X,"},{"line_number":557,"context_line":"               when Rotated_270  \u003d\u003e Center.Y),"},{"line_number":558,"context_line":"         Y \u003d\u003e"},{"line_number":559,"context_line":"           (case FB.Rotation is"}],"source_content_type":"application/octet-stream","patch_set":2,"id":"ec0f6906_61b4d66c","line":556,"updated":"2026-07-02 13:12:46.000000000","message":"Config(s): haswell tigerlake i945 ironlake_edp broxton alderlake skylake g45 ironlake\n```\nhw-gfx-gma-pipe_setup.adb:556: medium: range check might fail\n  556 |               when Rotated_180  \u003d\u003e FB.Width    - 1 - Center.X,\n      |                                                    ^ here\n  e.g. when Center \u003d (X \u003d\u003e Cursor_Pos\u0027First, Y \u003d\u003e 0)\n        and FB.Width \u003d 1\n        and FB.Height \u003d 1\n        and FB.Stride \u003d 1\n        and FB.V_Stride \u003d 1\n        and FB.Rotation \u003d Rotated_180\n  possible fix: subprogram at line 551 should mention Center in a precondition\n  551 |      function Rotate (Center : Cursor_Coord) return Cursor_Coord is\n      |      ^ here\n```","commit_id":"faa309ba604518757794ae4147ac02b08237b2f5"},{"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":"4c10c87bf5357d892854e1191cbe254bfc3162d2","unresolved":false,"context_lines":[{"line_number":553,"context_line":"           (case FB.Rotation is"},{"line_number":554,"context_line":"               when No_Rotation  \u003d\u003e Center.X,"},{"line_number":555,"context_line":"               when Rotated_90   \u003d\u003e FB.Height   - 1 - Center.Y,"},{"line_number":556,"context_line":"               when Rotated_180  \u003d\u003e FB.Width    - 1 - Center.X,"},{"line_number":557,"context_line":"               when Rotated_270  \u003d\u003e Center.Y),"},{"line_number":558,"context_line":"         Y \u003d\u003e"},{"line_number":559,"context_line":"           (case FB.Rotation is"}],"source_content_type":"application/octet-stream","patch_set":2,"id":"6992343f_b0d93387","line":556,"updated":"2026-07-02 13:09:42.000000000","message":"Config(s): tigerlake skylake ironlake_edp ironlake alderlake haswell broxton g45 i945\n```\nhw-gfx-gma-pipe_setup.adb:556: medium: range check might fail\n  556 |               when Rotated_180  \u003d\u003e FB.Width    - 1 - Center.X,\n      |                                                    ^ here\n  e.g. when Center \u003d (X \u003d\u003e Cursor_Pos\u0027First, Y \u003d\u003e 0)\n        and FB.Width \u003d 1\n        and FB.Height \u003d 1\n        and FB.Stride \u003d 1\n        and FB.V_Stride \u003d 1\n        and FB.Rotation \u003d Rotated_180\n  possible fix: subprogram at line 551 should mention Center in a precondition\n  551 |      function Rotate (Center : Cursor_Coord) return Cursor_Coord is\n      |      ^ here\n```","commit_id":"faa309ba604518757794ae4147ac02b08237b2f5"},{"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":"4c10c87bf5357d892854e1191cbe254bfc3162d2","unresolved":false,"context_lines":[{"line_number":559,"context_line":"           (case FB.Rotation is"},{"line_number":560,"context_line":"               when No_Rotation  \u003d\u003e Center.Y,"},{"line_number":561,"context_line":"               when Rotated_90   \u003d\u003e Center.X,"},{"line_number":562,"context_line":"               when Rotated_180  \u003d\u003e FB.Height   - 1 - Center.Y,"},{"line_number":563,"context_line":"               when Rotated_270  \u003d\u003e FB.Width    - 1 - Center.X));"},{"line_number":564,"context_line":""},{"line_number":565,"context_line":"      function Phys_Origin (Center : Cursor_Coord) return Cursor_Coord is"}],"source_content_type":"application/octet-stream","patch_set":2,"id":"b4d427c0_ad81b42a","line":562,"updated":"2026-07-02 13:09:42.000000000","message":"Config(s): haswell\n```\nhw-gfx-gma-pipe_setup.adb:562: medium: range check might fail\n  562 |               when Rotated_180  \u003d\u003e FB.Height   - 1 - Center.Y,\n      |                                                    ^ here\n  e.g. when Center \u003d (X \u003d\u003e Cursor_Pos\u0027First, Y \u003d\u003e Cursor_Pos\u0027First)\n        and FB.Height \u003d 1\n        and FB.V_Stride \u003d 1\n        and FB.Rotation \u003d Rotated_180\n  possible fix: subprogram at line 551 should mention Center in a precondition\n  551 |      function Rotate (Center : Cursor_Coord) 1\n        and FB.Stride \u003d 1\n        and FB.Rotation \u003d Rotated_270\n  possible fix: subprogram at line 551 should mention Center in a precondition\n  551 |      function Rotate (Center : Cursor_Coord) return Cursor_Coord is\n      |      ^ here\n```\nConfig(s): alderlake ironlake_edp skylake g45 i945 ironlake tigerlake\n```\nhw-gfx-gma-pipe_setup.adb:562: medium: range check might fail\n  562 |               when Rotated_180  \u003d\u003e FB.Height   - 1 - Center.Y,\n      |                                                    ^ here\n  e.g. when Center \u003d (X \u003d\u003e Cursor_Pos\u0027First, Y \u003d\u003e Cursor_Pos\u0027First)\n        and FB.Height \u003d 1\n        and FB.V_Stride \u003d 1\n        and FB.Rotation \u003d Rotated_180\n  possible fix: subprogram at line 551 should mention Center in a precondition\n  551 |      function Rotate (Center : Cursor_Coord) return Cursor_Coord is\n      |      ^ here\n```\nConfig(s): broxton\n```\nhw-gfx-gma-pipe_setup.adb:562: medium: range check might fail\n  562 |               when Rotated_180  \u003d\u003e FB.Height   - 1 - Center.Y,\n      |                                                    ^ here\n  e.g. when Center \u003d (X \u003d\u003e Cursor_Pos\u0027First, Y \u003d\u003e Cursor_Pos\u0027First)\n        and FB.Height \u003d 1\n        and FB.V_Stride \u003d 1\n        and FB.Rotation \u003d Rotated_180\n  possible fix: subprogramwhen Center \u003d (X \u003d\u003e Cursor_Pos\u0027First, Y \u003d\u003e Cursor_Pos\u0027First)\n        and FB.Width \u003d 1\n        and FB.Stride \u003d 1\n        and FB.Rotation \u003d Rotated_270\n  possible fix: subprogram at line 551 should mention Center in a precondition\n  551 |      function Rotate (Center : Cursor_Coord) return Cursor_Coord is\n      |      ^ here\n```","commit_id":"faa309ba604518757794ae4147ac02b08237b2f5"},{"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":"e06b75cfbf9e19d32d9ed2e860a000e4ad47f3ea","unresolved":false,"context_lines":[{"line_number":559,"context_line":"           (case FB.Rotation is"},{"line_number":560,"context_line":"               when No_Rotation  \u003d\u003e Center.Y,"},{"line_number":561,"context_line":"               when Rotated_90   \u003d\u003e Center.X,"},{"line_number":562,"context_line":"               when Rotated_180  \u003d\u003e FB.Height   - 1 - Center.Y,"},{"line_number":563,"context_line":"               when Rotated_270  \u003d\u003e FB.Width    - 1 - Center.X));"},{"line_number":564,"context_line":""},{"line_number":565,"context_line":"      function Phys_Origin (Center : Cursor_Coord) return Cursor_Coord is"}],"source_content_type":"application/octet-stream","patch_set":2,"id":"de25bc5b_63ab58ab","line":562,"updated":"2026-07-02 13:12:46.000000000","message":"Config(s): haswell\n```\nhw-gfx-gma-pipe_setup.adb:562: medium: range check might fail\n  562 |               when Rotated_180  \u003d\u003e FB.Height   - 1 - Center.Y,\n      |                                                    ^ here\n  e.g. when Center \u003d (X \u003d\u003e Cursor_Pos\u0027First, Y \u003d\u003e Cursor_Pos\u0027First)\n        and FB.Height \u003d 1\n        and FB.V_Stride \u003d 1\n        and FB.Rotation \u003d Rotated_180\n  possible fix: subprogram at line 551 should mention Center in a precondition\n  551 |      function Rotate (Center : Cursor_Coord) 1\n        and FB.Stride \u003d 1\n        and FB.Rotation \u003d Rotated_270\n  possible fix: subprogram at line 551 should mention Center in a precondition\n  551 |      function Rotate (Center : Cursor_Coord) return Cursor_Coord is\n      |      ^ here\n```\nConfig(s): tigerlake skylake ironlake_edp i945 broxton ironlake g45 alderlake\n```\nhw-gfx-gma-pipe_setup.adb:562: medium: range check might fail\n  562 |               when Rotated_180  \u003d\u003e FB.Height   - 1 - Center.Y,\n      |                                                    ^ here\n  e.g. when Center \u003d (X \u003d\u003e Cursor_Pos\u0027First, Y \u003d\u003e Cursor_Pos\u0027First)\n        and FB.Height \u003d 1\n        and FB.V_Stride \u003d 1\n        and FB.Rotation \u003d Rotated_180\n  possible fix: subprogram at line 551 should mention Center in a precondition\n  551 |      function Rotate (Center : Cursor_Coord) return Cursor_Coord is\n      |      ^ here\n```","commit_id":"faa309ba604518757794ae4147ac02b08237b2f5"},{"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":"e06b75cfbf9e19d32d9ed2e860a000e4ad47f3ea","unresolved":false,"context_lines":[{"line_number":560,"context_line":"               when No_Rotation  \u003d\u003e Center.Y,"},{"line_number":561,"context_line":"               when Rotated_90   \u003d\u003e Center.X,"},{"line_number":562,"context_line":"               when Rotated_180  \u003d\u003e FB.Height   - 1 - Center.Y,"},{"line_number":563,"context_line":"               when Rotated_270  \u003d\u003e FB.Width    - 1 - Center.X));"},{"line_number":564,"context_line":""},{"line_number":565,"context_line":"      function Phys_Origin (Center : Cursor_Coord) return Cursor_Coord is"},{"line_number":566,"context_line":"        (X \u003d\u003e Rotate (Center).X - Width / 2,"}],"source_content_type":"application/octet-stream","patch_set":2,"id":"49bf8840_6d3f7d3f","line":563,"updated":"2026-07-02 13:12:46.000000000","message":"Config(s): broxton\n```\nhw-gfx-gma-pipe_setup.adb:563: medium: range check might fail\n  563 |               when Rotated_270  \u003d\u003e FB.Wmake[1]: Entering directory \u0027/home/gnatbot/libgfxinit\u0027\n    GENERATE   common/hw-gfx-gma-config.ads\n    GENERATE   gfxinit_haswell.gpr\n```\nConfig(s): ironlake_edp\n```\nhw-gfx-gma-pipe_setup.adb:563: medium: range check might fail\n  563 |               when Rotated_270  \u003d\u003e make[1]: Entering directory \u0027/home/gnatbot/libgfxinit\u0027\n    GENERATE   common/hw-gfx-gma-config.ads\n    GENERATE   gfxinit_ironlake.gpr\n```\nConfig(s): i945\n```\nhw-gfx-gma-pipe_setup.adb:563: medium: range check might fail\n  563 |               when Rotated_270  \u003d\u003e FB.Width    - 1 - Center.X));\n      |                                                    ^ here\n  e.g. when Center \u003d (X \u003d\u003e Cursor_Pos\u0027First, Y \u003d\u003e Cursor_Pos\u0027First)\n        and FB.Width \u003d make[1]: Entering directory \u0027/home/gnatbot/libgfxinit\u0027\n    GENERATE   common/hw-gfx-gma-config.ads\n    GENERATE   gfxinit_g45.gpr\n```\nConfig(s): tigerlake\n```\nhw-gfx-gma-pipe_setup.adb:563: medium: range check might fail\n  563 |               when Ronter.X));\n      |                                                    ^ here\n  e.g. when Center \u003d (X \u003d\u003e Cursor_Pos\u0027First, Y \u003d\u003e Cursor_Pos\u0027First)\n        and FB.Width \u003d 1\n        and FB.Stride \u003d 1\n        and FB.Rotation \u003d Rotated_270\n  possible fix: subprogram at line 551 should mention Center in a precondition\n  551 |      function Rotate (Center : Cursor_Coord) return Cursor_Coord is\n      |      ^ here\n```\nConfig(s): haswell\n```\nhw-gfx-gma-pipe_setup.adb:563: medium: range check might fail\n  563 |               when Rotated_270  \u003d\u003e FB.Width    - 1 - Center.X));\n      |                                                    ^ here\n  e.g. when Center \u003d (X \u003d\u003e Cursor_Pos\u0027First, Y \u003d\u003e Cursor_Pos\u0027First)\n        and FB.Width \u003d 1\n        and FB.Stride \u003d 1\n        and FB.Rotation \u003d Rotated_270\n  possible fix: subprogram at line 551 should mention Center in a precondition\n  551 |      function Rotate (Center : Cursor_Coord) return Cursor_Coord is\n      |      ^ here\n```\nConfig(s): g45\n```\nhw-gfx-gma-pipe_setup.adb:563: medium: range check might fail\n  563 |               when Rotated_270  \u003d\u003e FB.Width    - 1 - Center.X));\n      |                                                    ^ here\n  e.g. make[1]: Entering directory \u0027/home/gnatbot/libgfxinit\u0027\n    GENERATE   common/hw-gfx-gma-config.ads\n    GENERATE   gfxinit_alderlake.gpr\n```\nConfig(s): alderlake\n```\nhw-gfx-gma-pipe_setup.adb:563: medium: range check might fail\n  563 |               when Romake[1]: Entering directory \u0027/home/gnatbot/libgfxinit\u0027\n    GENERATE   common/hw-gfx-gma-config.ads\n    GENERATE   gfxinit_broxton.gpr\n```\nConfig(s): ironlake\n```\nhw-gfx-gma-pipe_setup.adb:563: medium: range check might fail\n  563 |               when Rotated_270  \u003d\u003e FB.Width    - 1 - Cemake[1]: Entering directory \u0027/home/gnatbot/libgfxinit\u0027\n    GENERATE   common/hw-gfx-gma-config.ads\n    GENERATE   gfxinit_skylake.gpr\n```","commit_id":"faa309ba604518757794ae4147ac02b08237b2f5"},{"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":"4c10c87bf5357d892854e1191cbe254bfc3162d2","unresolved":false,"context_lines":[{"line_number":560,"context_line":"               when No_Rotation  \u003d\u003e Center.Y,"},{"line_number":561,"context_line":"               when Rotated_90   \u003d\u003e Center.X,"},{"line_number":562,"context_line":"               when Rotated_180  \u003d\u003e FB.Height   - 1 - Center.Y,"},{"line_number":563,"context_line":"               when Rotated_270  \u003d\u003e FB.Width    - 1 - Center.X));"},{"line_number":564,"context_line":""},{"line_number":565,"context_line":"      function Phys_Origin (Center : Cursor_Coord) return Cursor_Coord is"},{"line_number":566,"context_line":"        (X \u003d\u003e Rotate (Center).X - Width / 2,"}],"source_content_type":"application/octet-stream","patch_set":2,"id":"e7150b77_c643c9c8","line":563,"updated":"2026-07-02 13:09:42.000000000","message":"Config(s): tigerlake\n```\nhw-gfx-gma-pipe_setup.adb:563: medium: range check might fail\n  563 |               when Ronter.X));\n      |                                                    ^ here\n  e.g. when Center \u003d (X \u003d\u003e Cursor_Pos\u0027First, Y \u003d\u003e Cursor_Pos\u0027First)\n        and FB.Width \u003d 1\n        and FB.Stride \u003d 1\n        and FB.Rotation \u003d Rotated_270\n  possible fix: subprogram at line 551 should mention Center in a precondition\n  551 |      function Rotate (Center : Cursor_Coord) return Cursor_Coord is\n      |      ^ here\n```\nConfig(s): ironlake_edp\n```\nhw-gfx-gma-pipe_setup.adb:563: medium: range check might fail\n  563 |               when Rotated_270  \u003d\u003e make[1]: Entering directory \u0027/home/gnatbot/libgfxinit\u0027\n    GENERATE   common/hw-gfx-gma-config.ads\n    GENERATE   gfxinit_skylake.gpr\n```\nConfig(s): i945\n```\nhw-gfx-gma-pipe_setup.adb:563: medium: range check might fail\n  563 |               when Rotated_270  \u003d\u003e FB.Width    - 1 - Center.X));\n      |                                                    ^ here\n  e.g. when Center \u003d (X \u003d\u003e Cursor_Pos\u0027First, Y \u003d\u003e Cursor_Pos\u0027First)\n        and FB.Width \u003d make[1]: Entering directory \u0027/home/gnatbot/libgfxinit\u0027\n    GENERATE   common/hw-gfx-gma-config.ads\n    GENERATE   gfxinit_alderlake.gpr\n```\nConfig(s): g45\n```\nhw-gfx-gma-pipe_setup.adb:563: medium: range check might fail\n  563 |               when Rotated_270  \u003d\u003e FB.Width    - 1 - Center.X));\n      |                                                    ^ here\n  e.g. make[1]: Entering directory \u0027/home/gnatbot/libgfxinit\u0027\n    GENERATE   common/hw-gfx-gma-config.ads\n    GENERATE   gfxinit_haswell.gpr\n```\nConfig(s): haswell broxton\n```\nhw-gfx-gma-pipe_setup.adb:563: medium: range check might fail\n  563 |               when Rotated_270  \u003d\u003e FB.Width    - 1 - Center.X));\n      |                                                    ^ here\n  e.g. when Center \u003d (X \u003d\u003e Cursor_Pos\u0027First, Y \u003d\u003e Cursor_Pos\u0027First)\n        and FB.Width \u003d 1\n        and FB.Stride \u003d 1\n        and FB.Rotation \u003d Rotated_270\n  possible fix: subprogram at line 551 should mention Center in a precondition\n  551 |      function Rotate (Center : Cursor_Coord) return Cursor_Coord is\n      |      ^ here\n```\nConfig(s): ironlake\n```\nhw-gfx-gma-pipe_setup.adb:563: medium: range check might fail\n  563 |               when Rotated_270  \u003d\u003e FB.Width    - 1 - Cemake[1]: Entering directory \u0027/home/gnatbot/libgfxinit\u0027\n    GENERATE   common/hw-gfx-gma-config.ads\n    GENERATE   gfxinit_ironlake_edp.gpr\n```\nConfig(s): alderlake\n```\nhw-gfx-gma-pipe_setup.adb:563: medium: range check might fail\n  563 |               when Romake[1]: Entering directory \u0027/home/gnatbot/libgfxinit\u0027\n    GENERATE   common/hw-gfx-gma-config.ads\n    GENERATE   gfxinit_g45.gpr\n```","commit_id":"faa309ba604518757794ae4147ac02b08237b2f5"},{"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":"4c10c87bf5357d892854e1191cbe254bfc3162d2","unresolved":false,"context_lines":[{"line_number":563,"context_line":"               when Rotated_270  \u003d\u003e FB.Width    - 1 - Center.X));"},{"line_number":564,"context_line":""},{"line_number":565,"context_line":"      function Phys_Origin (Center : Cursor_Coord) return Cursor_Coord is"},{"line_number":566,"context_line":"        (X \u003d\u003e Rotate (Center).X - Width / 2,"},{"line_number":567,"context_line":"         Y \u003d\u003e Rotate (Center).Y - Width / 2);"},{"line_number":568,"context_line":""},{"line_number":569,"context_line":"      function Fully_Visible (Origin : Cursor_Coord) return Boolean is"}],"source_content_type":"application/octet-stream","patch_set":2,"id":"481f6aa9_9712f8dc","line":566,"updated":"2026-07-02 13:09:42.000000000","message":"Config(s): broxton ironlake ironlake_edp alderlake i945 g45 haswell tigerlake skylake\n```\nhw-gfx-gma-pipe_setup.adb:566: medium: range check might fail\n  566 |        (X \u003d\u003e Rotate (Center).X - Width / 2,\n      |                                ^ here\n  e.g. when Center \u003d (X \u003d\u003e Cursor_Pos\u0027First, Y \u003d\u003e 0)\n        and Width \u003d 64\n  possible fix: subprogram at line 565 should mention Center in a precondition\n  565 |      function Phys_Origin (Center : Cursor_Coord) return Cursor_Coord is\n      |      ^ here\n```","commit_id":"faa309ba604518757794ae4147ac02b08237b2f5"},{"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":"e06b75cfbf9e19d32d9ed2e860a000e4ad47f3ea","unresolved":false,"context_lines":[{"line_number":563,"context_line":"               when Rotated_270  \u003d\u003e FB.Width    - 1 - Center.X));"},{"line_number":564,"context_line":""},{"line_number":565,"context_line":"      function Phys_Origin (Center : Cursor_Coord) return Cursor_Coord is"},{"line_number":566,"context_line":"        (X \u003d\u003e Rotate (Center).X - Width / 2,"},{"line_number":567,"context_line":"         Y \u003d\u003e Rotate (Center).Y - Width / 2);"},{"line_number":568,"context_line":""},{"line_number":569,"context_line":"      function Fully_Visible (Origin : Cursor_Coord) return Boolean is"}],"source_content_type":"application/octet-stream","patch_set":2,"id":"776ba256_92f21896","line":566,"updated":"2026-07-02 13:12:46.000000000","message":"Config(s): tigerlake i945 ironlake g45 ironlake_edp skylake alderlake broxton haswell\n```\nhw-gfx-gma-pipe_setup.adb:566: medium: range check might fail\n  566 |        (X \u003d\u003e Rotate (Center).X - Width / 2,\n      |                                ^ here\n  e.g. when Center \u003d (X \u003d\u003e Cursor_Pos\u0027First, Y \u003d\u003e 0)\n        and Width \u003d 64\n  possible fix: subprogram at line 565 should mention Center in a precondition\n  565 |      function Phys_Origin (Center : Cursor_Coord) return Cursor_Coord is\n      |      ^ here\n```","commit_id":"faa309ba604518757794ae4147ac02b08237b2f5"},{"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":"4c10c87bf5357d892854e1191cbe254bfc3162d2","unresolved":false,"context_lines":[{"line_number":564,"context_line":""},{"line_number":565,"context_line":"      function Phys_Origin (Center : Cursor_Coord) return Cursor_Coord is"},{"line_number":566,"context_line":"        (X \u003d\u003e Rotate (Center).X - Width / 2,"},{"line_number":567,"context_line":"         Y \u003d\u003e Rotate (Center).Y - Width / 2);"},{"line_number":568,"context_line":""},{"line_number":569,"context_line":"      function Fully_Visible (Origin : Cursor_Coord) return Boolean is"},{"line_number":570,"context_line":"        (0 \u003c\u003d Origin.X and Origin.X \u003c Rotated_Width (FB) - Width and"}],"source_content_type":"application/octet-stream","patch_set":2,"id":"16f4a3dd_810432bb","line":567,"updated":"2026-07-02 13:09:42.000000000","message":"Config(s): alderlake tigerlake skylake g45 ironlake haswell broxton ironlake_edp i945\n```\nhw-gfx-gma-pipe_setup.adb:567: medium: range check might fail\n  567 |         Y \u003d\u003e Rotate (Center).Y - Width / 2);\n      |                                ^ here\n  e.g. when Center \u003d (X \u003d\u003e 0, Y \u003d\u003e -1073741793)\n        and Width \u003d 64\n  possible fix: subprogram at line 565 should mention Center in a precondition\n  565 |      function Phys_Origin (Center : Cursor_Coord) return Cursor_Coord is\n      |      ^ here\n```","commit_id":"faa309ba604518757794ae4147ac02b08237b2f5"},{"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":"e06b75cfbf9e19d32d9ed2e860a000e4ad47f3ea","unresolved":false,"context_lines":[{"line_number":564,"context_line":""},{"line_number":565,"context_line":"      function Phys_Origin (Center : Cursor_Coord) return Cursor_Coord is"},{"line_number":566,"context_line":"        (X \u003d\u003e Rotate (Center).X - Width / 2,"},{"line_number":567,"context_line":"         Y \u003d\u003e Rotate (Center).Y - Width / 2);"},{"line_number":568,"context_line":""},{"line_number":569,"context_line":"      function Fully_Visible (Origin : Cursor_Coord) return Boolean is"},{"line_number":570,"context_line":"        (0 \u003c\u003d Origin.X and Origin.X \u003c Rotated_Width (FB) - Width and"}],"source_content_type":"application/octet-stream","patch_set":2,"id":"ca4d5069_369f9f8f","line":567,"updated":"2026-07-02 13:12:46.000000000","message":"Config(s): skylake ironlake_edp broxton i945 ironlake haswell tigerlake alderlake g45\n```\nhw-gfx-gma-pipe_setup.adb:567: medium: range check might fail\n  567 |         Y \u003d\u003e Rotate (Center).Y - Width / 2);\n      |                                ^ here\n  e.g. when Center \u003d (X \u003d\u003e 0, Y \u003d\u003e -1073741793)\n        and Width \u003d 64\n  possible fix: subprogram at line 565 should mention Center in a precondition\n  565 |      function Phys_Origin (Center : Cursor_Coord) return Cursor_Coord is\n      |      ^ here\n```","commit_id":"faa309ba604518757794ae4147ac02b08237b2f5"},{"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":"e06b75cfbf9e19d32d9ed2e860a000e4ad47f3ea","unresolved":false,"context_lines":[{"line_number":602,"context_line":"               function Offset (Pos, Visible : Int32) return Word32 is"},{"line_number":603,"context_line":"                 (if (Pos \u003c 0 and FB.Rotation \u003c\u003d Rotated_90) or"},{"line_number":604,"context_line":"                     (Pos \u003e\u003d 0 and FB.Rotation \u003e\u003d Rotated_180)"},{"line_number":605,"context_line":"                  then Word32 (Width - Visible) else 0);"},{"line_number":606,"context_line":"            begin"},{"line_number":607,"context_line":"               -- The hardware does neither support negative positions nor"},{"line_number":608,"context_line":"               -- clipping. So if the cursor should be clipped at an edge"}],"source_content_type":"application/octet-stream","patch_set":2,"id":"edde63ca_5e82b492","line":605,"updated":"2026-07-02 13:12:46.000000000","message":"Config(s): i945 broxton ironlake_edp tigerlake skylake g45 alderlake haswell ironlake\n```\nhw-gfx-gma-pipe_setup.adb:605: medium: range check might fail\n  605 |                  then Word32 (Width - Visible) else 0);\n      |                                     ^ here\n  e.g. when Visible \u003d 65\n        and Width \u003d 64\n  reason for check: result of subtraction must be convertible to the target type of the conversion\n  possible fix: subprogram at line 602 should mention Visible in a precondition\n  602 |               function Offset (Pos, Visible : Int32) return Word32 is\n      |               ^ here\n```\nConfig(s): i945 ironlake tigerlake g45 alderlake skylake haswell broxton ironlake_edp\n```\nhw-gfx-gma-pipe_setup.adb:605: medium: overflow check might fail\n  605 |                  then Word32 (Width - Visible) else 0);\n      |                                     ^ here\n  e.g. when Visible \u003d -2147483584\n        and Width \u003d 64\n  reason for check: result of subtraction must fit in a 32-bits machine integer\n  possible fix: subprogram at line 602 should mention Visible in a precondition\n  602 |               function Offset (Pos, Visible : Int32) return Word32 is\n      |               ^ here\n```","commit_id":"faa309ba604518757794ae4147ac02b08237b2f5"},{"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":"4c10c87bf5357d892854e1191cbe254bfc3162d2","unresolved":false,"context_lines":[{"line_number":602,"context_line":"               function Offset (Pos, Visible : Int32) return Word32 is"},{"line_number":603,"context_line":"                 (if (Pos \u003c 0 and FB.Rotation \u003c\u003d Rotated_90) or"},{"line_number":604,"context_line":"                     (Pos \u003e\u003d 0 and FB.Rotation \u003e\u003d Rotated_180)"},{"line_number":605,"context_line":"                  then Word32 (Width - Visible) else 0);"},{"line_number":606,"context_line":"            begin"},{"line_number":607,"context_line":"               -- The hardware does neither support negative positions nor"},{"line_number":608,"context_line":"               -- clipping. So if the cursor should be clipped at an edge"}],"source_content_type":"application/octet-stream","patch_set":2,"id":"9261d050_345aeb37","line":605,"updated":"2026-07-02 13:09:42.000000000","message":"Config(s): i945 g45 ironlake_edp ironlake broxton tigerlake haswell skylake alderlake\n```\nhw-gfx-gma-pipe_setup.adb:605: medium: range check might fail\n  605 |                  then Word32 (Width - Visible) else 0);\n      |                                     ^ here\n  e.g. when Visible \u003d 65\n        and Width \u003d 64\n  reason for check: result of subtraction must be convertible to the target type of the conversion\n  possible fix: subprogram at line 602 should mention Visible in a precondition\n  602 |               function Offset (Pos, Visible : Int32) return Word32 is\n      |               ^ here\n```\nConfig(s): ironlake_edp g45 i945 haswell tigerlake ironlake skylake broxton alderlake\n```\nhw-gfx-gma-pipe_setup.adb:605: medium: overflow check might fail\n  605 |                  then Word32 (Width - Visible) else 0);\n      |                                     ^ here\n  e.g. when Visible \u003d -2147483584\n        and Width \u003d 64\n  reason for check: result of subtraction must fit in a 32-bits machine integer\n  possible fix: subprogram at line 602 should mention Visible in a precondition\n  602 |               function Offset (Pos, Visible : Int32) return Word32 is\n      |               ^ here\n```","commit_id":"faa309ba604518757794ae4147ac02b08237b2f5"},{"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":"4c10c87bf5357d892854e1191cbe254bfc3162d2","unresolved":false,"context_lines":[{"line_number":618,"context_line":"               Origin.X :\u003d Int32\u0027Max (Origin.X, 0);"},{"line_number":619,"context_line":""},{"line_number":620,"context_line":"               if Origin.Y \u003c 0 then"},{"line_number":621,"context_line":"                  Visible_Height :\u003d Visible_Height + Origin.Y;"},{"line_number":622,"context_line":"               elsif Origin.Y \u003e Rotated_Height (FB) - Width then"},{"line_number":623,"context_line":"                  Visible_Height :\u003d Rotated_Height (FB) - Origin.Y;"},{"line_number":624,"context_line":"               end if;"}],"source_content_type":"application/octet-stream","patch_set":2,"id":"80337af6_547a8320","line":621,"updated":"2026-07-02 13:09:42.000000000","message":"Config(s): i945\n```\nhw-gfx-gma-pipe_setup.adb:621: medium: range check might fail\n  621 |                  Visible_Height :\u003d Visible_Height + Origin.Y;\n      |                                                   ^ here\n  reason for check: result of addition must fit in the target type of the assignment\n```","commit_id":"faa309ba604518757794ae4147ac02b08237b2f5"},{"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":"e06b75cfbf9e19d32d9ed2e860a000e4ad47f3ea","unresolved":false,"context_lines":[{"line_number":1092,"context_line":"      Update_Cursor (Pipe, Pipe_Cfg.Framebuffer, Default_Cursor);"},{"line_number":1093,"context_line":""},{"line_number":1094,"context_line":"      Setup_Display (Controllers (Pipe), Pipe_Cfg.Framebuffer, Mode.BPC, Dither);"},{"line_number":1095,"context_line":"      Setup_Scaling (Controllers (Pipe), Pipe_Cfg, Mode);"},{"line_number":1096,"context_line":"   end Setup_FB;"},{"line_number":1097,"context_line":""},{"line_number":1098,"context_line":"   procedure On"}],"source_content_type":"application/octet-stream","patch_set":2,"id":"c624787a_db43a3ae","line":1095,"updated":"2026-07-02 13:12:46.000000000","message":"Config(s): alderlake\n```\nhw-gfx-gma-pipe_setup.adb:1095: medium: precondition might fail, cannot prove Rotated_Width (Pipe_Cfg.Framebuffer) \u003c\u003d Mode.H_Visible\n 1095 |      Setup_Scaling (Controllers (Pipe), Pipe_Cfg, Mode);\n      |      ^ here\n```","commit_id":"faa309ba604518757794ae4147ac02b08237b2f5"},{"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":"e06b75cfbf9e19d32d9ed2e860a000e4ad47f3ea","unresolved":false,"context_lines":[{"line_number":1165,"context_line":""},{"line_number":1166,"context_line":"      Legacy_VGA_Off;"},{"line_number":1167,"context_line":""},{"line_number":1168,"context_line":"      for Pipe in Pipe_Index range Pipe_Index\u0027First .. Config.Max_Pipe loop"},{"line_number":1169,"context_line":"         Planes_Off (Controllers (Pipe), Cursors (Pipe));"},{"line_number":1170,"context_line":"         Transcoder.Off (Pipe);"},{"line_number":1171,"context_line":"         Panel_Fitter_Off (Controllers (Pipe));"}],"source_content_type":"application/octet-stream","patch_set":2,"id":"c50d324e_c47ac8eb","line":1168,"updated":"2026-07-02 13:12:46.000000000","message":"Config(s): alderlake\n```\nhw-gfx-gma-pipe_setup.adb:1168: medium: range check might fail\n 1168 |      for Pipe in Pipe_Index range Pipe_Index\u0027First .. Config.Max_Pipe loop\n      |          ^ here\n```","commit_id":"faa309ba604518757794ae4147ac02b08237b2f5"},{"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":"de27d385d8c86a4c8a9d28496a6e15053e2ec259","unresolved":false,"context_lines":[{"line_number":1103,"context_line":"      Update_Cursor (Pipe, Pipe_Cfg.Framebuffer, Default_Cursor);"},{"line_number":1104,"context_line":""},{"line_number":1105,"context_line":"      Setup_Display (Controllers (Pipe), Pipe_Cfg.Framebuffer, Mode.BPC, Dither);"},{"line_number":1106,"context_line":"      Setup_Scaling (Controllers (Pipe), Pipe_Cfg, Mode);"},{"line_number":1107,"context_line":"   end Setup_FB;"},{"line_number":1108,"context_line":""},{"line_number":1109,"context_line":"   procedure On"}],"source_content_type":"application/octet-stream","patch_set":3,"id":"bb16392d_e32b361b","line":1106,"updated":"2026-07-02 14:16:34.000000000","message":"Config(s): i945\n```\nhw-gfx-gma-pipe_setup.adb:1106: medium: precondition might fail, cannot prove Rotated_Width (Pipe_Cfg.Framebuffer) \u003c\u003d Mode.H_Visible\n 1106 |      Setup_Scaling (Controllers (Pipe), Pipe_Cfg, Mode);\n      |      ^ here\n```","commit_id":"15f720aa1e5af08c3f9b0de8b30886ff206c6bf1"},{"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":"950ea0dbc35812d826e8f23984fde71fc0bc0818","unresolved":false,"context_lines":[{"line_number":168,"context_line":""},{"line_number":169,"context_line":"   function Encode_Size (LSW, MSW : Int32) return Word32"},{"line_number":170,"context_line":"   is"},{"line_number":171,"context_line":"     (Shift_Left (Word32 (MSW) - 1, 16) or (Word32 (LSW) - 1));"},{"line_number":172,"context_line":""},{"line_number":173,"context_line":"   function Source_Width (Framebuffer : Framebuffer_Type) return Int32"},{"line_number":174,"context_line":"   is"}],"source_content_type":"application/octet-stream","patch_set":4,"id":"9e35e1cb_58262029","line":171,"updated":"2026-07-03 11:07:21.000000000","message":"Config(s): i945 broxton tigerlake ironlake skylake ironlake_edp g45 alderlake haswell\n```\nhw-gfx-gma-pipe_setup.adb:171: medium: range check might fail\n  171 |     (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 169 should mention MSW in a precondition\n  169 |   function Encode_Size (LSW, MSW : Int32) return Word32\n      |   ^ here\n```\nConfig(s): broxton ironlake haswell i945 g45 tigerlake alderlake ironlake_edp skylake\n```\nhw-gfx-gma-pipe_setup.adb:171: medium: range check might fail\n  171 |     (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 169 should mention LSW in a precondition\n  169 |   function Encode_Size (LSW, MSW : Int32) return Word32\n      |   ^ here\n```","commit_id":"707b6446c22a86eaaf312d8213f76eaabda78a9c"},{"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":"950ea0dbc35812d826e8f23984fde71fc0bc0818","unresolved":false,"context_lines":[{"line_number":553,"context_line":"      Controller : Controller_Type renames Controllers (Pipe);"},{"line_number":554,"context_line":""},{"line_number":555,"context_line":"      Width : constant Width_Type :\u003d Cursor_Width (Cursor.Size);"},{"line_number":556,"context_line":"      Surface_Width : constant Width_Type :\u003d Source_Width (FB);"},{"line_number":557,"context_line":"      Surface_Height : constant Height_Type :\u003d Source_Height (FB);"},{"line_number":558,"context_line":""},{"line_number":559,"context_line":"      -- Like `Cursor_Pos`/`Cursor_Coord` but allowing wider range for proof."}],"source_content_type":"application/octet-stream","patch_set":4,"id":"c4457c2d_2d3ae3a9","line":556,"updated":"2026-07-03 11:07:21.000000000","message":"Config(s): tigerlake alderlake\n```\nhw-gfx-gma-pipe_setup.adb:556: medium: range check might fail\n  556 |      Surface_Width : constant Width_Type :\u003d Source_Width (FB);\n      |                                             ^ here\n  e.g. when FB.Width \u003d 64\n        and FB.Height \u003d 1\n        and FB.Stride \u003d 16\n        and FB.V_Stride \u003d 1\n        and FB.Rotation \u003d Rotated_90\n  reason for check: default component value must fit in the type\n  possible fix: subprogram at hw-gfx-gma-pipe_setup.ads:47 should mention FB in a precondition\n   47 |   procedure Place_Cursor\n      |   ^ here\n```","commit_id":"707b6446c22a86eaaf312d8213f76eaabda78a9c"},{"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":"950ea0dbc35812d826e8f23984fde71fc0bc0818","unresolved":false,"context_lines":[{"line_number":717,"context_line":"      Post \u003d\u003e"},{"line_number":718,"context_line":"         Width \u003c\u003d Max_Width and Height \u003c\u003d Max_Height"},{"line_number":719,"context_line":"   is"},{"line_number":720,"context_line":"      Src_Width : constant Width_Type :\u003d Source_Width (Framebuffer);"},{"line_number":721,"context_line":"      Src_Height : constant Height_Type :\u003d Source_Height (Framebuffer);"},{"line_number":722,"context_line":"   begin"},{"line_number":723,"context_line":"      case Scaling_Type (Src_Width, Src_Height, Max_Width, Max_Height) is"}],"source_content_type":"application/octet-stream","patch_set":4,"id":"e9efaa28_748b812e","line":720,"updated":"2026-07-03 11:07:21.000000000","message":"Config(s): alderlake\n```\nhw-gfx-gma-pipe_setup.adb:720: medium: range check might fail\n  720 |      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      make[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:720: medium: range check might fail\n  720 |      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      make[1]: Entering directory \u0027/home/gnatbot/libgfxinit\u0027\n    GENERATE   common/hw-gfx-gma-config.ads\n    GENERATE   gfxinit_ironlake.gpr\n```","commit_id":"707b6446c22a86eaaf312d8213f76eaabda78a9c"},{"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":"950ea0dbc35812d826e8f23984fde71fc0bc0818","unresolved":false,"context_lines":[{"line_number":723,"context_line":"      case Scaling_Type (Src_Width, Src_Height, Max_Width, Max_Height) is"},{"line_number":724,"context_line":"         when Letterbox \u003d\u003e"},{"line_number":725,"context_line":"            Height :\u003d (Src_Height * Max_Width) / Src_Width;"},{"line_number":726,"context_line":"            pragma Assert (Height \u003c\u003d Max_Height);"},{"line_number":727,"context_line":"            Width  :\u003d Max_Width;"},{"line_number":728,"context_line":"         when Pillarbox \u003d\u003e"},{"line_number":729,"context_line":"            Width  :\u003d (Src_Width * Max_Height) / Src_Height;"}],"source_content_type":"application/octet-stream","patch_set":4,"id":"c4414a30_d81a19af","line":726,"updated":"2026-07-03 11:07:21.000000000","message":"Config(s): skylake tigerlake i945 ironlake_edp g45 alderlake broxton ironlake haswell\n```\nhw-gfx-gma-pipe_setup.adb:726: medium: assertion might fail, cannot prove Height \u003c\u003d Max_Height\n  726 |            pragma Assert (Height \u003c\u003d Max_Height);\n      |                           ^ here\n```","commit_id":"707b6446c22a86eaaf312d8213f76eaabda78a9c"},{"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":"950ea0dbc35812d826e8f23984fde71fc0bc0818","unresolved":false,"context_lines":[{"line_number":754,"context_line":"   begin"},{"line_number":755,"context_line":"      case Scaling is"},{"line_number":756,"context_line":"         when None \u003d\u003e"},{"line_number":757,"context_line":"            Width  :\u003d Source_Width (Framebuffer);"},{"line_number":758,"context_line":"            Height :\u003d Source_Height (Framebuffer);"},{"line_number":759,"context_line":"         when Keep_Aspect \u003d\u003e"},{"line_number":760,"context_line":"            Scale_Keep_Aspect (Width, Height, Max_Width, Max_Height, Framebuffer);"}],"source_content_type":"application/octet-stream","patch_set":4,"id":"9ad3b940_93ebee27","line":757,"updated":"2026-07-03 11:07:21.000000000","message":"Config(s): tigerlake alderlake\n```\nhw-gfx-gma-pipe_setup.adb:757: medium: range check might fail\n  757 |            Width  :\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: value must fit in the target type of the assignment\n```","commit_id":"707b6446c22a86eaaf312d8213f76eaabda78a9c"},{"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":"950ea0dbc35812d826e8f23984fde71fc0bc0818","unresolved":false,"context_lines":[{"line_number":852,"context_line":"         Rotated_Width (Pipe_Cfg.Framebuffer) \u003c\u003d Mode.H_Visible and"},{"line_number":853,"context_line":"         Rotated_Height (Pipe_Cfg.Framebuffer) \u003c\u003d Mode.V_Visible"},{"line_number":854,"context_line":"   is"},{"line_number":855,"context_line":"      Width_In    : constant Width_Type   :\u003d Source_Width (Pipe_Cfg.Framebuffer);"},{"line_number":856,"context_line":"      Height_In   : constant Height_Type  :\u003d Source_Height (Pipe_Cfg.Framebuffer);"},{"line_number":857,"context_line":"      Limits      : constant Pipe_Scaler_Limit_Config :\u003d"},{"line_number":858,"context_line":"        (if Config.Has_Skylake_Scaler_Limits then"}],"source_content_type":"application/octet-stream","patch_set":4,"id":"0569d9ba_ae4ac4af","line":855,"updated":"2026-07-03 11:07:21.000000000","message":"Config(s): tigerlake alderlake\n```\nhw-gfx-gma-pipe_setup.adb:855: medium: range check might fail\n  855 |      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":"707b6446c22a86eaaf312d8213f76eaabda78a9c"},{"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":"950ea0dbc35812d826e8f23984fde71fc0bc0818","unresolved":false,"context_lines":[{"line_number":1115,"context_line":"      Update_Cursor (Pipe, Pipe_Cfg.Framebuffer, Default_Cursor);"},{"line_number":1116,"context_line":""},{"line_number":1117,"context_line":"      Setup_Display (Controllers (Pipe), Pipe_Cfg.Framebuffer, Mode.BPC, Dither);"},{"line_number":1118,"context_line":"      Setup_Scaling (Controllers (Pipe), Pipe_Cfg, Mode);"},{"line_number":1119,"context_line":"   end Setup_FB;"},{"line_number":1120,"context_line":""},{"line_number":1121,"context_line":"   procedure On"}],"source_content_type":"application/octet-stream","patch_set":4,"id":"59880c8d_450c59b7","line":1118,"updated":"2026-07-03 11:07:21.000000000","message":"Config(s): g45\n```\nhw-gfx-gma-pipe_setup.adb:1118: medium: precondition might fail, cannot prove Rotated_Height (Pipe_Cfg.Framebuffer) \u003c\u003d Mode.V_Visible\n 1118 |      Setup_Scaling (Controllers (Pipe), Pipe_Cfg, Mode);\n      |      ^ here\n```","commit_id":"707b6446c22a86eaaf312d8213f76eaabda78a9c"},{"author":{"_account_id":1000002,"name":"Thomas Heijligen","email":"src@posteo.de","username":"heijligen","avatars":[{"url":"https://www.gravatar.com/avatar/4285328fce6f2f2d1dcd3409fd9ebcbe.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/4285328fce6f2f2d1dcd3409fd9ebcbe.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/4285328fce6f2f2d1dcd3409fd9ebcbe.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/4285328fce6f2f2d1dcd3409fd9ebcbe.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"54a14eb34a4b795eb83a7146d84cfc4ae06f6a20","unresolved":true,"context_lines":[{"line_number":524,"context_line":"      Controller : Controller_Type renames Controllers (Pipe);"},{"line_number":525,"context_line":"   begin"},{"line_number":526,"context_line":"      if Use_Plane_For_Cursor (FB) then"},{"line_number":527,"context_line":"         Registers.Write (Controller.PLANE_2_KEYVAL, 16#00_fe_ff_ff#);"},{"line_number":528,"context_line":"         Registers.Write (Controller.PLANE_2_KEYMSK, 16#07_ff_ff_ff#);"},{"line_number":529,"context_line":"         if Config.Has_Plane_Color_Control then"},{"line_number":530,"context_line":"            Registers.Write"}],"source_content_type":"application/octet-stream","patch_set":11,"id":"e9b364f5_28ea66ab","line":527,"updated":"2026-07-28 12:01:40.000000000","message":"The reason from the commit msg should also be stated here as this is a workaround.","commit_id":"319bfd50c9dc168ce03652d502835fca8f8eb76c"},{"author":{"_account_id":1000002,"name":"Thomas Heijligen","email":"src@posteo.de","username":"heijligen","avatars":[{"url":"https://www.gravatar.com/avatar/4285328fce6f2f2d1dcd3409fd9ebcbe.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/4285328fce6f2f2d1dcd3409fd9ebcbe.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/4285328fce6f2f2d1dcd3409fd9ebcbe.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/4285328fce6f2f2d1dcd3409fd9ebcbe.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"a5a955d97ae455b91b4cc7cdc9cdabe7e3756d06","unresolved":false,"context_lines":[{"line_number":524,"context_line":"      Controller : Controller_Type renames Controllers (Pipe);"},{"line_number":525,"context_line":"   begin"},{"line_number":526,"context_line":"      if Use_Plane_For_Cursor (FB) then"},{"line_number":527,"context_line":"         Registers.Write (Controller.PLANE_2_KEYVAL, 16#00_fe_ff_ff#);"},{"line_number":528,"context_line":"         Registers.Write (Controller.PLANE_2_KEYMSK, 16#07_ff_ff_ff#);"},{"line_number":529,"context_line":"         if Config.Has_Plane_Color_Control then"},{"line_number":530,"context_line":"            Registers.Write"}],"source_content_type":"application/octet-stream","patch_set":11,"id":"50b419f1_dbbe727f","line":527,"in_reply_to":"e9b364f5_28ea66ab","updated":"2026-07-29 15:21:14.000000000","message":"Done","commit_id":"319bfd50c9dc168ce03652d502835fca8f8eb76c"}],"common/hw-gfx-gma.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":"21814d44e109a1ad72c8991df3f759aa3efbbacb","unresolved":false,"context_lines":[{"line_number":79,"context_line":""},{"line_number":80,"context_line":"   package Dev is new HW.PCI.Dev"},{"line_number":81,"context_line":"     (Dev         \u003d\u003e Config.PCI_Dev,"},{"line_number":82,"context_line":"      MMConf_Base \u003d\u003e Config.Override_MMConf_Base);"},{"line_number":83,"context_line":""},{"line_number":84,"context_line":"   package Display_Controller renames Pipe_Setup;"},{"line_number":85,"context_line":""}],"source_content_type":"application/octet-stream","patch_set":1,"id":"910426e3_75cd3b4d","line":82,"updated":"2026-07-02 12:27:26.000000000","message":"Config(s): tigerlake i945 broxton ironlake_edp haswell alderlake g45 ironlake skylake\n```\nhw-gfx-gma.adb:82: error: in instantiation of \"Dev\" declared at hw-pci-dev.ads:17\n```\nConfig(s): g45 haswell skylake tigerlake i945 ironlake_edp broxton alderlake ironlake\n```\nhw-gfx-gma.adb:82: error: unmatched actual \"MMConf_Base\"\n```","commit_id":"e486b3592457a5715ef4ec74c0b78e0589c6d02e"}],"on/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":"4c10c87bf5357d892854e1191cbe254bfc3162d2","unresolved":false,"context_lines":[],"source_content_type":"","patch_set":2,"id":"779d4d18_13fbdd4c","line":563,"updated":"2026-07-02 13:09:42.000000000","message":"```\nhw-gfx-gma-pipe_setup.adb:563: medium: range check might fail\n  563 |               when Rotated_270  \u003d\u003e FB.Width    - 1 - Center.X));\n      |                                                    ^ here\n  e.g. when Center \u003d (X \u003d\u003e Cursor_Pos\u0027First, Y \u003d\u003e Cursor_Pos\u0027First)\n        and FB.Width \u003d 1\n        and FB.Stride \u003d 1\n        and FB.Rotation \u003d Rotated_270\n  possible fix: subprogram at line 551 should mention Center in a precondition\n  551 |      function Rotate (Center : Cursor_Coord) return Cursor_Coord is\n      |      ^ here\n```","commit_id":"faa309ba604518757794ae4147ac02b08237b2f5"},{"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":"e06b75cfbf9e19d32d9ed2e860a000e4ad47f3ea","unresolved":false,"context_lines":[],"source_content_type":"","patch_set":2,"id":"f4385e78_9aebd238","line":563,"updated":"2026-07-02 13:12:46.000000000","message":"```\nhw-gfx-gma-pipe_setup.adb:563: medium: range check might fail\n  563 |               when Rotated_270  \u003d\u003e FB.Width    - 1 - Center.X));\n      |                                                    ^ here\n  e.g. when Center \u003d (X \u003d\u003e Cursor_Pos\u0027First, Y \u003d\u003e Cursor_Pos\u0027First)\n        and FB.Width \u003d 1\n        and FB.Stride \u003d 1\n        and FB.Rotation \u003d Rotated_270\n  possible fix: subprogram at line 551 should mention Center in a precondition\n  551 |      function Rotate (Center : Cursor_Coord) return Cursor_Coord is\n      |      ^ here\n```","commit_id":"faa309ba604518757794ae4147ac02b08237b2f5"}]}