utils2.c (find_common_type): Document assumption on t1/t2 vs lhs/rhs.
authorOlivier Hainque <hainque@adacore.com>
Mon, 31 Mar 2008 17:03:09 +0000 (17:03 +0000)
committerOlivier Hainque <hainque@gcc.gnu.org>
Mon, 31 Mar 2008 17:03:09 +0000 (17:03 +0000)
commit2566855a60b790dd23a7375319e7dc0ec7886cee
tree3ffa54d3a68db4107cd0f29aba899b64d8d7f49a
parent66f91b93db67ccea9e4d0ec803492e2dbd03974c
utils2.c (find_common_type): Document assumption on t1/t2 vs lhs/rhs.

2008-03-31  Olivier Hainque  <hainque@adacore.com>
            Eric Botcazou  <botcazou@adacore.com>

        ada/
        * utils2.c (find_common_type): Document assumption on t1/t2 vs
        lhs/rhs. Force use of lhs type if smaller, whatever the modes.

        testsuite/
        * gnat.dg/assign_from_packed.adb: New testcase.

Co-Authored-By: Eric Botcazou <ebotcazou@adacore.com>
From-SVN: r133757
gcc/ada/ChangeLog
gcc/ada/utils2.c
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/assign_from_packed.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/assign_from_packed_pixels.ads [new file with mode: 0644]