Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 23 Aug 2013 18:02:37 +0000 (UTC)
From:      Dimitry Andric <dim@FreeBSD.org>
To:        src-committers@freebsd.org, svn-src-all@freebsd.org, svn-src-stable@freebsd.org, svn-src-stable-9@freebsd.org
Subject:   svn commit: r254725 - stable/9/contrib/llvm/tools/clang/lib/Sema
Message-ID:  <201308231802.r7NI2btZ096033@svn.freebsd.org>

next in thread | raw e-mail | index | archive | help
Author: dim
Date: Fri Aug 23 18:02:37 2013
New Revision: 254725
URL: http://svnweb.freebsd.org/changeset/base/254725

Log:
  MFC r254581:
  
  Pull in r188716 from upstream clang trunk:
  
    PR16727: don't try to evaluate a potentially value-dependent
    expression when checking for missing parens in &&/|| expressions.
  
  This fixes an assertion encountered when building the lang/sdcc port.
  
  Reported by:	kwm

Modified:
  stable/9/contrib/llvm/tools/clang/lib/Sema/SemaExpr.cpp
Directory Properties:
  stable/9/contrib/llvm/   (props changed)
  stable/9/contrib/llvm/tools/clang/   (props changed)

Modified: stable/9/contrib/llvm/tools/clang/lib/Sema/SemaExpr.cpp
==============================================================================
--- stable/9/contrib/llvm/tools/clang/lib/Sema/SemaExpr.cpp	Fri Aug 23 18:01:58 2013	(r254724)
+++ stable/9/contrib/llvm/tools/clang/lib/Sema/SemaExpr.cpp	Fri Aug 23 18:02:37 2013	(r254725)
@@ -8884,14 +8884,16 @@ EmitDiagnosticForLogicalAndInLogicalOr(S
 /// 'true'.
 static bool EvaluatesAsTrue(Sema &S, Expr *E) {
   bool Res;
-  return E->EvaluateAsBooleanCondition(Res, S.getASTContext()) && Res;
+  return !E->isValueDependent() &&
+         E->EvaluateAsBooleanCondition(Res, S.getASTContext()) && Res;
 }
 
 /// \brief Returns true if the given expression can be evaluated as a constant
 /// 'false'.
 static bool EvaluatesAsFalse(Sema &S, Expr *E) {
   bool Res;
-  return E->EvaluateAsBooleanCondition(Res, S.getASTContext()) && !Res;
+  return !E->isValueDependent() &&
+         E->EvaluateAsBooleanCondition(Res, S.getASTContext()) && !Res;
 }
 
 /// \brief Look for '&&' in the left hand of a '||' expr.



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201308231802.r7NI2btZ096033>