=?utf-8?q?Donát?= Nagy <[email protected]>,
=?utf-8?q?Donát?= Nagy <[email protected]>,
=?utf-8?q?Donát?= Nagy <[email protected]>,
=?utf-8?q?Donát?= Nagy <[email protected]>,
=?utf-8?q?Donát?= Nagy <[email protected]>,
=?utf-8?q?Donát?= Nagy <[email protected]>,
=?utf-8?q?Donát?= Nagy <[email protected]>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/[email protected]>
================
@@ -122,13 +125,14 @@ void
UnconditionalVAArgChecker::checkBranchCondition(const Stmt *Condition,
void UnconditionalVAArgChecker::checkPreStmt(const VAArgExpr *VAA,
CheckerContext &C) const {
ProgramStateRef State = C.getState();
- const FunctionDecl *FD = getCurrentFunction(C);
- if (FD && FD == State->get<HasUnconditionalPath>()) {
+ const FunctionDecl *PathFrom =
+ State->get<HasUnconditionalPath>(); // getCurrentFunction(C);
----------------
necto wrote:
Is this comment an undeleted left over? Otherwise, I fail to understand it.
https://github.com/llvm/llvm-project/pull/175602
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
