On Sat, Jun 22, 2024 at 12:26 AM David Malcolm wrote:
>
> PR analyzer/115564 reports a missing warning from the analyzer
> on this infinite loop at -O2 and above:
>
> void test (unsigned b)
> {
>for (unsigned i = b; i >= 0; --i) {}
> }
>
> The issue is that there are no useful location_t va
PR analyzer/115564 reports a missing warning from the analyzer
on this infinite loop at -O2 and above:
void test (unsigned b)
{
for (unsigned i = b; i >= 0; --i) {}
}
The issue is that there are no useful location_t values in the CFG
by the time the analyzer sees it: two basic blocks with n
