[Bug ada/23427] New: latent bug with array type size check

[wilson at gcc dot gnu dot org]

Since TYPE_SIZE was converted to use bitsizetype, which has extra bits of
precision, applying TREE_OVERFLOW to it is no longer useful.  It does not
overflow when it should.  We must use TYPE_SIZE_UNIT instead now.  There is one
place in the Ada front end that has this problem.

I don't know enough about the Ada front end to construct a testcase to
demonstrate the problem.

I am also at the moment unable to build the Ada front end in order to prove that
my patch works.

See also PR 21105 (C front end) and PR 23426 (C++ front end) for related problems.

-- 
           Summary: latent bug with array type size check
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: wilson at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23427