https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93266
Martin Sebor changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Keywords|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93266
--- Comment #2 from Jakub Jelinek ---
If the strlen pass would handle if (__builtin_strlen (a)) return; if we
disabled the early folding, then it should be taught to handle whatever it is
folded to.
Though, I'm not sure it can, there is no code t
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93266
--- Comment #3 from Martin Sebor ---
The strlen pass sets the range for non-constant strlen results so it can handle
(and make use of) this sort of thing by querying the range of the strlen lhs.
For example, it detects the buffer overflow in the