This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: PATCH COMMITTED: Don't break tests for enum in range
Laurent GUERBY <laurent@guerby.net> writes:
> I'm not sure this is your patch, but my latest Ada run on x86_64-linux
> had three new failures that might be VRP related:
>
> c37213k.adb: In function 'C37213K':
> c37213k.adb:324: error: insn 75 outside of basic blocks has non-NULL bb field
> +===========================GNAT BUG DETECTED==============================+
> | 4.3.0 20070606 (experimental) (x86_64-unknown-linux-gnu) GCC error: |
> | verify_flow_info failed |
> | Error detected around c37213k.adb:324 |
>
> c61010a.adb: In function 'C61010A':
> c61010a.adb:246: error: insn 25 outside of basic blocks has non-NULL bb field
> +===========================GNAT BUG DETECTED==============================+
> | 4.3.0 20070606 (experimental) (x86_64-unknown-linux-gnu) GCC error: |
> | verify_flow_info failed |
> | Error detected around c61010a.adb:246 |
>
The above could not have anything to do with my patch.
> ,.,. CD92001 ACATS 2.5 07-06-06 23:17:29
> ---- CD92001 Check object attribute: X'Valid.
> * CD92001 Expected 'Valid =FALSE for Default item 1.
> * CD92001 Expected 'Valid =FALSE for Default item 2.
I will check this. I ran the ada testsuite on 4.2 branch, but I did
not run it on mainline. I will do that now.
(As I read my patch, it should not introduce a failure of this sort,
since all it does is avoid a simplification. But I'll try it out.)
Ian