Re: [PATCH] c: Add some checking asserts to named loops handling code

On Wed, 16 Oct 2024, Jakub Jelinek wrote: > Hi! > > Jonathan mentioned an unnamed static analyzer reported issue in > c_finish_bc_name. > It is actually a false positive, because the construction of the > loop_names vector guarantees that the last element of the vector > (if the vector is non-emp

[PATCH] c: Add some checking asserts to named loops handling code

Hi! Jonathan mentioned an unnamed static analyzer reported issue in c_finish_bc_name. It is actually a false positive, because the construction of the loop_names vector guarantees that the last element of the vector (if the vector is non-empty) always has either C_DECL_LOOP_NAME (l) or C_DECL_SWIT