Bug report
#line directives were added to generated_cases.c.h in 70185de, but the C-analyzer tool cannot handle these directives. This caused the CI check to start failing on all PRs, e.g.:
The short term fix is to exclude ceval.c from the C-analyzer tool:
But ideally we'd remove ceval.c from the excluded files and teach the C-analyzer tool to handle #line directives.
Linked PRs