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

[PATCH] Simplify and fix restrict handling

2011-10-14 Thread Richard Guenther
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 from conflict checking. Bootstrapped on x86_64-unknown-li