coverage.c (coverage_counter_ref): Set MEM_NOTRAP_P.

        * coverage.c (coverage_counter_ref): Set MEM_NOTRAP_P.
        * optabs.c (prepare_cmp_insn): Force trapping memories to registers
        before the compare, if flag_non_call_exceptions.
        * g++.dg/other/profile1.C: New.

From-SVN: r78806

1 files changed, 51 insertions, 0 deletions

diff --git a/gcc/testsuite/g++.dg/other/profile1.C b/gcc/testsuite/g++.dg/other/profile1.C
new file mode 100644
index 0000000..bc92460
--- /dev/null
+++ b/gcc/testsuite/g++.dg/other/profile1.C
@@ -0,0 +1,51 @@
+// PR 11767
+// { dg-do run }
+// { dg-options "-fnon-call-exceptions -fprofile-arcs" }
+
+#include <string>
+
+typedef unsigned long ACE_UINT32;
+extern "C" void abort();
+
+static ACE_UINT32 const msc_maxCurrencyID = 9999;
+
+class ResourceBalanceType2
+{
+  public:
+   explicit ResourceBalanceType2(
+      ACE_UINT32 resourceBalanceTypeID,
+      ACE_UINT32 isoValue,
+      const std::string& rc_shortName,
+      const std::string& rc_symbol
+    );
+  public:
+    const ACE_UINT32 mc_resBalTypeID;
+    const ACE_UINT32 mc_isoValue;
+    const std::string mc_shortName;
+    const std::string mc_symbol;
+};
+
+void f(){}
+
+ResourceBalanceType2::ResourceBalanceType2(
+    ACE_UINT32 resourceBalanceTypeID,
+    ACE_UINT32 isoValue,
+    const std::string& rc_shortName,
+    const std::string& rc_symbol)
+  : mc_resBalTypeID(resourceBalanceTypeID),
+    mc_isoValue(isoValue),
+    mc_shortName(rc_shortName),
+    mc_symbol(rc_symbol)
+{
+  bool isGreater = (mc_isoValue > msc_maxCurrencyID);
+  f();
+  bool temp = mc_isoValue > msc_maxCurrencyID;
+  if (!isGreater) abort();
+  if (!temp) abort();
+}
+
+int main (int argc, char * argv[])
+{
+  ACE_UINT32 const mc_isoValue = 10000;
+  ResourceBalanceType2 rbResourceBalanceType2(3, mc_isoValue, "ATM", "M");
+}