https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97548
Martin Uecker <muecker at gwdg dot de> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |muecker at gwdg dot de
--- Comment #1 from Martin Uecker <muecker at gwdg dot de> ---
I get many false positives for this reason. So if the logic cannot understand
these expressions, it should bail out ad not warn (or only for some higher
warning levels) to avoid these false positives.
Also it is often useful to have these complex expressions for bounds in
mathematical code, especially with multiple array parameters which have
different lengths but depend on the same variable.
