Re: [cocci] Checking evaluation of another SmPL script

On Tue, 26 May 2026, Markus Elfring wrote:

> >>> --no-loops doesn't introduce non existent paths.  It only removes the
> >>> back edges in loop operators.
> >> Did you indicate uncertainty about corresponding software functionality?
> >
> > No uncertainty.
> How does this feedback fit to the information “I don't remember
> whether no loops looks at backward gotos.” from 2026-05-23?
> https://lore.kernel.org/cocci/[email protected]/
> https://sympa.inria.fr/sympa/arc/cocci/2026-05/msg00020.html

I didn't remember, I looked at the code, and I reported back to you on it.
--no-loops has no impact on the handling of backwards jumps.  It only
works on structured loops, in which case the back edge is simply deleted.

julia