This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [Ada] Implement AI05-0086-1 (consider null exclusion for static matching)
- From: Duncan Sands <baldrick at free dot fr>
- To: gcc-patches at gcc dot gnu dot org
- Date: Tue, 19 Oct 2010 13:05:36 +0200
- Subject: Re: [Ada] Implement AI05-0086-1 (consider null exclusion for static matching)
- References: <20101019105507.GA8759@adacore.com>
Hi Arnaud, this patch seems to only contain formatting changes.
The meat of it is commented out:
+ -- Also check that null exclusion matches (AI05-0086-1)
+ -- commented out because this causes many mail test failures ???
+
+ -- and then Can_Never_Be_Null (T1) = Can_Never_Be_Null (T2);
So I'm not sure how it can cause the testcase to pass :)
Ciao,
Duncan.