From 13f95bdb92e4de1f9c2087edd13e312eb83d4958 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Sun, 7 Dec 2008 23:27:14 +0000 Subject: [PATCH] * gimple.c (recalculate_side_effects) : New case. From-SVN: r142541 --- gcc/ChangeLog | 4 ++++ gcc/gimple.c | 5 ++++- gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gnat.dg/string_comparison.adb | 10 ++++++++++ 4 files changed, 22 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gnat.dg/string_comparison.adb diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 19d56b0bfc7..b530d25614a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2008-12-07 Eric Botcazou + + * gimple.c (recalculate_side_effects) : New case. + 2008-12-07 Richard Guenther PR tree-optimization/38405 diff --git a/gcc/gimple.c b/gcc/gimple.c index c0f8f1d5300..90de9b3ebc5 100644 --- a/gcc/gimple.c +++ b/gcc/gimple.c @@ -3108,8 +3108,11 @@ recalculate_side_effects (tree t) } break; + case tcc_constant: + /* No side-effects. */ + return; + default: - /* Can never be used with non-expressions. */ gcc_unreachable (); } } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 098e6627dd0..696d82a1a53 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2008-12-07 Eric Botcazou + + * gnat.dg/string_comparison.adb: New test. + 2008-12-07 H.J. Lu PR tree-optimization/38405 diff --git a/gcc/testsuite/gnat.dg/string_comparison.adb b/gcc/testsuite/gnat.dg/string_comparison.adb new file mode 100644 index 00000000000..22e6c9e01b7 --- /dev/null +++ b/gcc/testsuite/gnat.dg/string_comparison.adb @@ -0,0 +1,10 @@ +-- { dg-do compile } + +with Ada.Text_IO; use Ada.Text_IO; + +procedure String_Comparison is + package Bool_IO is new Enumeration_IO (Boolean); + use Bool_IO; +begin + Put (Boolean'Image (True) = "True"); +end; -- 2.30.2