================
@@ -108,6 +108,16 @@ class DataflowAnalysisContext {
/// A null `PointeeType` can be used for the pointee of `std::nullptr_t`.
PointerValue &getOrCreateNullPointerValue(QualType PointeeType);
+ /// Adds `Constraint` to current and future flow conditions in this context.
+ ///
+ /// The global condition must contain only flow-insensitive information, i.e.
----------------
Xazax-hun wrote:
I don't have strong feelings about either of the options. I think I have a
slight preference of Invariant over Constraint. But I am not opposed to any of
the alternatives.
https://github.com/llvm/llvm-project/pull/65949
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
