Andreas Klebinger pushed to branch wip/andreask/arm-ffi at Glasgow Haskell Compiler / GHC Commits: 7a96d430 by Andreas Klebinger at 2026-07-29T07:47:22+00:00 cmm parser: Add comment about allowed conditionals. - - - - - 1 changed file: - compiler/GHC/Cmm/Parser.y Changes: ===================================== compiler/GHC/Cmm/Parser.y ===================================== @@ -745,6 +745,8 @@ stmt :: { CmmParse () } { doCall $2 [] $4 } | '(' formals ')' '=' 'call' expr '(' exprs0 ')' ';' { doCall $6 $2 $8 } + -- NB: bool_expr most be a *boolean* expression: A comparison machOp or 1/0 word literals. + -- We don't allow arbitrary expressions as conditions (See checkCond, #27543). | 'if' bool_expr cond_likely 'goto' NAME { do l <- lookupLabel $5; cmmRawIf $2 l $3 } | 'if' bool_expr cond_likely '{' body '}' else View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/7a96d43048cde2fc2236b06d06b39c85... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/7a96d43048cde2fc2236b06d06b39c85... You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications: https://gitlab.haskell.org/-/profile/notifications | Help: https://gitlab.haskell.org/help