https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104789
--- Comment #11 from Martin Sebor ---
The direct store subset of -Wstringop-overflow that runs in the strlen pass
(i.e., those handled in strlen_pass::handle_store) might be better handled in
VRP and issued under -Warray-bounds. The challenge t
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104789
Richard Biener changed:
What|Removed |Added
Keywords||diagnostic,
|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104789
--- Comment #9 from Martin Sebor ---
A much simplified test case that reproduces the same warning (with both GCC 12
and 11) is below. The underlying problem is that although GCC does have a way
to represent simple disjoint ranges of variable va
