Re: Q about Ada and value ranges in types

[kenner@vlsi1.ultra.nyu.edu (Richard Kenner)]

    I am tracking an ICE in VRP that triggers only in Ada.  Given
    this:

     1	D.1480_32 = nam_30 - 300000361;
     2	if (D.1480_32 <= 1) goto <L112>; else goto <L52>;
     3	<L112>:;
     4	D.1480_94 = ASSERT_EXPR <D.1480_32, D.1480_32 <= 1>;
     5	goto <bb 50> (<L57>);

    for name D.1480_94.  However, the type of D.1480 is:

    (gdb) ptu type
     const types__name_id___XDLU_300000000__399999999

     <integer_type 0xf6f3f360 types__name_id___XDLU_300000000__399999999
        type <integer_type 0xf6f3cec4 types__Tname_idB sizes-gimplified visited
    [ ... ]
         min <integer_cst 0xf6f40060 300000000>
        max <integer_cst 0xf6f40090 399999999>
         RM size <integer_cst 0xf6ee13f0 32>>

    My question is, is Ada emitting an always-false predicate in line
    #2?  Or is it a bug?

You're not showing where this comes from, so it's hard to say.  However
D.1480 is created by the gimplifier, not the Ada front end.  There could
easily be a typing problem in the tree there (e.g., that of the subtraction),
but I can't tell for sure.

    If the Ada language allows that kind of runtime check, then my
    fix to VRP will be different. 

I don't see it as a language issue: I'd argue that the tree in statement 2
is invalid given the typing.  That should be true for any language.

(Note that there's a system problem and email to this address won't be
received until tomorrow afternoon.)