diff options
author | Davide Italiano <davide@freebsd.org> | 2015-03-26 21:37:49 +0000 |
---|---|---|
committer | Davide Italiano <davide@freebsd.org> | 2015-03-26 21:37:49 +0000 |
commit | 346048a1fa469dde8d1b3205c37ea40cc1377495 (patch) | |
tree | 6754c451b50a1f5fa9dd1814b58780f8f6006dca | |
parent | 8b95afa095f207209ae143f8765d2040bb3a8f51 (diff) | |
download | bcm5719-llvm-346048a1fa469dde8d1b3205c37ea40cc1377495.tar.gz bcm5719-llvm-346048a1fa469dde8d1b3205c37ea40cc1377495.zip |
Fix -Wshift-count-negative. It didn't work if the right hand side
of the shift wasn't a constant integer expression, now it (hopefully)
does.
PR: 22059
llvm-svn: 233320
-rw-r--r-- | clang/lib/Sema/SemaExpr.cpp | 2 | ||||
-rw-r--r-- | clang/test/Sema/warn-shift-negative.c | 6 |
2 files changed, 7 insertions, 1 deletions
diff --git a/clang/lib/Sema/SemaExpr.cpp b/clang/lib/Sema/SemaExpr.cpp index c061e0610ed..6eac5b6a936 100644 --- a/clang/lib/Sema/SemaExpr.cpp +++ b/clang/lib/Sema/SemaExpr.cpp @@ -7769,7 +7769,7 @@ static void DiagnoseBadShiftValues(Sema& S, ExprResult &LHS, ExprResult &RHS, llvm::APSInt Right; // Check right/shifter operand if (RHS.get()->isValueDependent() || - !RHS.get()->isIntegerConstantExpr(Right, S.Context)) + !RHS.get()->EvaluateAsInt(Right, S.Context)) return; if (Right.isNegative()) { diff --git a/clang/test/Sema/warn-shift-negative.c b/clang/test/Sema/warn-shift-negative.c new file mode 100644 index 00000000000..c65d66c1214 --- /dev/null +++ b/clang/test/Sema/warn-shift-negative.c @@ -0,0 +1,6 @@ +// RUN: %clang_cc1 -fsyntax-only -Wshift-count-negative -fblocks -verify %s + +int f(int a) { + const int i = -1; + return a << i; // expected-warning{{shift count is negative}} +} |