[PATCH] D27773: [analyzer] Add checker modeling gtest APIs.
Aleksei Sidorin via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Dec 15 09:22:59 PST 2016
a.sidorin added a comment.
Thank you Devin!
================
Comment at: lib/StaticAnalyzer/Checkers/GTestChecker.cpp:30
+//
+// The gtest unit testing API provides macros for assertions that that expand
+// into an if statement that calls a series of constructors and returns
----------------
"that that"
================
Comment at: lib/StaticAnalyzer/Checkers/GTestChecker.cpp:105
+ void modelAssertionResultBoolConstructor(const CXXConstructorCall *Call,
+ CheckerContext &C) const;
+
----------------
Misalignment here and below
================
Comment at: lib/StaticAnalyzer/Checkers/GTestChecker.cpp:182
+
+ SVal ThisSuccess = getAssertionResultSuccessFieldValue(AssertResultClassDecl,
+ ThisVal, State);
----------------
Shouldn't we just bind OtherSuccess to our field?
https://reviews.llvm.org/D27773
More information about the cfe-commits
mailing list