================
@@ -20,10 +20,29 @@ namespace ento {
RangedConstraintManager::~RangedConstraintManager() {}
+// Is \p Assumption (i.e. "the condition is non-zero") inconsistent with a
+// symbol that simplified to the concrete integer \p V?
----------------
steakhal wrote:
```suggestion
/// Is \p Assumption (i.e. "the condition is non-zero") inconsistent with a
/// symbol that simplified to the concrete integer \p V?
```
https://github.com/llvm/llvm-project/pull/210912
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
