maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[clang-tidy] Fix assertion when a dependent expression is used in an assert. 

llvm-svn: 231620
This commit is contained in:
Alexander Kornienko 2015-03-09 02:27:57 +00:00
parent 7a3cbb2997
commit b2ddb8ac4d
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
clang-tools-extra/clang-tidy/misc/StaticAssertCheck.cpp
View File

@ -69,7 +69,9 @@ void StaticAssertCheck::check(const MatchFinder::MatchResult &Result) {
StringRef MacroName =
Lexer::getImmediateMacroName(AssertExpansionLoc, SM, Opts);
if (MacroName != "assert" || !Condition->isEvaluatable(*ASTCtx))
if (MacroName != "assert" || Condition->isValueDependent() ||
Condition->isTypeDependent() || Condition->isInstantiationDependent() ||
!Condition->isEvaluatable(*ASTCtx))
return;
// False literal is not the result of macro expansion.

2
clang-tools-extra/test/clang-tidy/misc-static-assert.cpp
View File

@ -34,6 +34,8 @@ template <class T> void doSomething(T t) {
assert(t.method());
// CHECK-FIXES: {{^ }}assert(t.method());
assert(sizeof(T) == 123);
}
int main() {