https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113895
--- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Zhendong Su from comment #8)
> extern void f();
> char a[1][1], b;
> int main() {
> int c = -1U;
> if (b)
> f(a[c][b]);
> return 0;
> }
for this case, while it's also out-of-bounds, we run into the issue that
we compute op.off to -1 but that's also used as the special value for
"unknown".
