================
@@ -513,10 +513,10 @@ class ConditionBRVisitor final : public
BugReporterVisitor {
bool printValue(const Expr *CondVarExpr, raw_ostream &Out,
const ExplodedNode *N, bool TookTrue, bool IsAssuming);
- bool patternMatch(const Expr *Ex, const Expr *ParentEx, raw_ostream &Out,
- BugReporterContext &BRC, PathSensitiveBugReport &R,
- const ExplodedNode *N, std::optional<bool> &prunable,
- bool IsSameFieldName);
+ bool patternMatch(const Expr *Ex, const Expr *ParentEx, const Expr *OtherEx,
+ raw_ostream &Out, BugReporterContext &BRC,
+ PathSensitiveBugReport &R, const ExplodedNode *N,
+ std::optional<bool> &prunable, bool IsSameFieldName);
----------------
steakhal wrote:
Here I just need to forward the `OtherEx` too. That's all it changes.
Basically `Ex` and `OtherEx` are LHS and RHS - or the other way around.
See the callsites to `patternMatch`.
https://github.com/llvm/llvm-project/pull/219136
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
