[Bug tree-optimization/108385] [12 Regression] false positive -Wfree-nonheap-object

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108385

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
[E]VRP testcase which shows the odd 'off' range on the false edge:

void bar(char *);

void foo (char *p, char *pp, int off)
{
  char *q = p + off;
  if (q != p)
    bar (q);
  char *qq = pp + off;
  if (qq != pp)
    bar (qq);
  bar (p);
  bar (pp);
}