https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81782
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P2
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot
gnu.org
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
I think this one should be WONTFIX. OTOH it might be handled by
/* Do not warn if the access is fully outside of the
variable. */
if (DECL_P (base)
&& ref.size != -1
&& ref.max_size == ref.size
&& (ref.offset + ref.size <= 0
|| (ref.offset >= 0
&& DECL_SIZE (base)
&& TREE_CODE (DECL_SIZE (base)) == INTEGER_CST
&& compare_tree_int (DECL_SIZE (base),
ref.offset) <= 0)))
continue;
which for whatever reason doesn't handle it?
Will have a look.
