Add PR optimization/10080 to Zdenek Dvorak's last commit.
authorAndrew Pinski <pinskia@gcc.gnu.org>
Wed, 5 Nov 2003 19:20:48 +0000 (11:20 -0800)
committerAndrew Pinski <pinskia@gcc.gnu.org>
Wed, 5 Nov 2003 19:20:48 +0000 (11:20 -0800)
commitf4dcab145ff57e4bedd94d5026e29c04c38c1c34
treef218bd24d8ea3bf5b19e8eae6ddd79622932ef41
parentf31bf321f8b3bcb59ddf0878454d2453e1408c51
Add PR optimization/10080 to Zdenek Dvorak's last commit.

From-SVN: r73279
gcc/ChangeLog