[patch] Fix oversight in tuplification of DOM

[Jeff Law]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 06/28/11 14:36, Eric Botcazou wrote:
> Hi,
> 
> the attached testcase triggers an ICE when compiled at -O or above, on all the 
> open branches.  This is a regression introduced with the tuplification.  The 
> problem is that 2 ARRAY_RANGE_REFs are recognized as equivalent, although they 
> don't have the same number of elements.  This is so because their type isn't 
> taken into account by the hash equality function as it simply isn't recorded 
> in initialize_hash_element (GIMPLE_SINGLE_RHS case).  Now in all the other 
> cases it is recorded so this very likely is an oversight.
> 
> Tested on x86_64-suse-linux, OK for all branches?
> 
> 
> 2011-06-28  Eric Botcazou  <ebotcazou@adacore.com>
> 
> 	* tree-ssa-dom.c (initialize_hash_element): Fix oversight.
> 
> 
> 2011-06-28  Eric Botcazou  <ebotcazou@adacore.com>
> 
> 	* gnat.dg/opt17.ad[sb]: New test.
OK.
Jeff
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Fedora - http://enigmail.mozdev.org/

iQEcBAEBAgAGBQJOCkOJAAoJEBRtltQi2kC7d74H/1UxVoJCRtAJyLBzwPvVCKni
7uowRbHYTWVpB5y+LrrrIh8vkcuM/SZ6LAB6SuowK00G+4zQJtmvnA9DBLq65WSZ
/vOiond3LljmH8E5m7lg9umx5VO7jdErScB7xORfEezNy4857Y0p78UOkZxKiDpI
RqKThfRYK/0mjizTlDaPaBQH/LIRJU8MgxWA8SDxLKZ1FmmqhOqcyH7Z+wbGdNPf
QoHAd5xrQsA7Ga3kmwI/eBjNqlKkWS92L0ggQnn6aKsJJNeDuLdfolFKw4Fi4waN
X8BV4vYDlDVywRoFRzo1lvBIjeJ9hpJsT3cLuW6Kp3BUvEzQjyv7d0o/BRxWYfw=
=lvG1
-----END PGP SIGNATURE-----