comment on exact propagation

tlively · tlively · commit 49dcfc7c244e · 2025-09-09T09:37:25.000-07:00
diff --git a/src/ir/struct-utils.h b/src/ir/struct-utils.h
@@ -415,6 +415,8 @@ template<typename T> class TypeHierarchyPropagator {
   }
 
 private:
+  // `includeExact` is whether to propagate to exact subtypes only because there
+  // are no exact supertypes.
   void propagate(StructValuesMap<T>& combinedInfos,
                  bool toSubTypes,
                  bool toSuperTypes,

Original file line number	Diff line number	Diff line change
`@@ -415,6 +415,8 @@ template<typename T> class TypeHierarchyPropagator {`
`415`	`415`	`}`
`416`	`416`
`417`	`417`	`private:`
	`418`	+ // `includeExact` is whether to propagate to exact subtypes only because there
	`419`	`+ // are no exact supertypes.`
`418`	`420`	`void propagate(StructValuesMap<T>& combinedInfos,`
`419`	`421`	`bool toSubTypes,`
`420`	`422`	`bool toSuperTypes,`