================
@@ -130,7 +130,9 @@ class ExpireFact : public Fact {
 
 class OriginFlowFact : public Fact {
   OriginID OIDDest;
-  OriginID OIDSrc;
+  // The source origin to flow from. Absent when only clearing the 
destination's
----------------
usx95 wrote:

Having a separate `KillOriginFact` makes sense to me and sounds clearer than 
trying to fit this in existing flow fact.

https://github.com/llvm/llvm-project/pull/191123
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to