================
@@ -382,3 +382,20 @@ accessed:
}
}
}
+
+Reasoning about integers
+------------------------
+
+Because it uses a simple SAT solver, the checker cannot reason about integers
+inequalities. For instance, the following will result in a false positive:
+
+.. code:: cpp
----------------
fmayer wrote:
maybe, but not really relevant for this PR
https://github.com/llvm/llvm-project/pull/179592
_______________________________________________
llvm-branch-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
