Loop with Unreachable Exit Condition ('Infinite Loop') in GitLab (CVE-2025-10903) | HOL Guard CVE