Re: [PATCH] Simplify and fix restrict handling

2011-10-18 Thread Richard Guenther
On Mon, 17 Oct 2011, Richard Guenther wrote: > On Fri, 14 Oct 2011, Richard Guenther wrote: > > > > > This follows up Michas testcase where we fail to handle the > > conservatively propagated restrict tags properly. The following > > patch simplifies handling of restrict in the oracle and thus

Re: [PATCH] Simplify and fix restrict handling

2011-10-17 Thread Richard Guenther
On Fri, 14 Oct 2011, Richard Guenther wrote: > > This follows up Michas testcase where we fail to handle the > conservatively propagated restrict tags properly. The following > patch simplifies handling of restrict in the oracle and thus > only excludes NONLOCAL (as designed), but not ESCAPED fr