[llvm-branch-commits] [clang-tools-extra] [NFC] [clang-tidy] Add doc about FP in unchecked-statusor-access (PR #179592)

[Florian Mayer via llvm-branch-commits]

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

the whole file uses `..code: cpp`

https://github.com/llvm/llvm-project/pull/179592