[Bug middle-end/49210] [4.7 regression] verify_gimple fails building ada/einfo.o at -O3

[rguenth at gcc dot gnu.org]

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

--- Comment #4 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-05-30 
11:13:41 UTC ---
I think a similar case could be constructed with restrict qualified pointers.
I have a patch.