xazax.hun added inline comments.
================
Comment at: clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp:123
+ if (Constraints1.empty() || Constraints2.empty()) {
+ // Disjunction of empty set and non-empty set is represented as empty set.
+ return JoinedConstraints;
----------------
xazax.hun wrote:
> Is this actually correct? Or did you mean `Conjunction`?
Oh, sorry. Just realized the empty set is interpreted as `true`. In this case
this is correct.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D120984/new/
https://reviews.llvm.org/D120984
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
