https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79310
--- Comment #3 from Marc Glisse ---
We already have infer_nonnull_range_by_attribute ("Return true if OP can be
inferred to be a non-NULL after STMT executes by using attributes") and I
assume that strstr has the nonnull attribute in this example
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79310
Richard Biener changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79310
Martin Sebor changed:
What|Removed |Added
Keywords||missed-optimization
--- Comment #1 from M
