[Bug middle-end/44300] Spurious array subscript warning, &b[0] == &a[1] is not folded

[segher at kernel dot crashing dot org]

------- Comment #11 from segher at kernel dot crashing dot org  2010-05-29 
00:34 -------
(In reply to comment #5)
> Can you recommend an elegant way to rewrite this code to avoid the warning?

static inline void
foo(int *p)
{
   if ((uintptr_t)p - (uintptr_t)(a + 1) < sizeof a - sizeof a[0]) {
      p[-1] = 0;
   }
}


-- 

segher at kernel dot crashing dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |segher at kernel dot
                   |                            |crashing dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44300