[clang] [dataflow] Add global condition to DataflowAnalysisContext (PR #65949)

Gábor Horváth via cfe-commits cfe-commits at lists.llvm.org
Wed Sep 13 10:03:45 PDT 2023


================
@@ -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


More information about the cfe-commits mailing list