Jakub Jelinek via Gcc [Saturday, 23 May 2026, 11:53:43 CEST]:
> it is no longer VARYING range and the
> middle-end warning code thinks that in that case all other values need to be
> somehow possible and warns.

For real? The warning emits "if any_of index_range is out-of-bounds"? Why then 
not simply change it to "if all_of index_range is out-of-bounds"? The any_of 
condition is a -Wmaybe-array-bounds situation.

- Matthias

-- 
──────────────────────────────────────────────────────────────────────────
 Dr. Matthias Kretz                           https://mattkretz.github.io
 GSI Helmholtz Center for Heavy Ion Research               https://gsi.de
 std::simd
──────────────────────────────────────────────────────────────────────────

Reply via email to