PR c++/60379
* semantics.c (begin_maybe_infinite_loop): Use
fold_non_dependent_expr_sfinae.
From-SVN: r208247
+2014-03-01 Jason Merrill <jason@redhat.com>
+
+ PR c++/60379
+ * semantics.c (begin_maybe_infinite_loop): Use
+ fold_non_dependent_expr_sfinae.
+
2014-02-28 Jason Merrill <jason@redhat.com>
PR c++/58845
bool maybe_infinite = true;
if (cond)
{
- cond = fold_non_dependent_expr (cond);
+ cond = fold_non_dependent_expr_sfinae (cond, tf_none);
cond = maybe_constant_value (cond);
maybe_infinite = integer_nonzerop (cond);
}
--- /dev/null
+// PR c++/60379
+
+template <int> struct A {
+ void m_fn1(int p1) {
+ int *a;
+ while (p1 && *static_cast<int *>(static_cast<void *>(a)))
+ ;
+ }
+};