https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124151
Martin Jambor <jamborm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |jamborm at gcc dot
gnu.org
--- Comment #12 from Martin Jambor <jamborm at gcc dot gnu.org> ---
I'll have a look. The good thing is that the access that the verification
fails on is not being scalarized, so (in this case at least) the checking error
is harmless in the release compiler.
Other than that, the problem is that we have an access with size of 8 bits
while get_ref_base_and_extent says the size of the expression is only one bit.
So it indeed looks like PR117217 but "the other way round."