Szelethus added a reviewer: vsavchenko.
Szelethus added a comment.
I like the idea, though I wonder whether `evalAssume` would be a better
callback for this. That way, you'd only need to add an assumption when you
reach a condition where one of the operands is standard.
Though it may be more trouble than its worth. I don't have strong feelings on
this.
================
Comment at: clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp:238
+
+SymbolRef findStdStream(StringRef StdName, CheckerContext &C) {
+ const LocationContext *LCtx = C.getLocationContext();
----------------
How about `getStdStreamSymbol`?
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D106644/new/
https://reviews.llvm.org/D106644
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
