[clang] [clang][analyzer] Move 'alpha.core.FixedAddressDereference' out of alpha (PR #132404)
DonĂ¡t Nagy via cfe-commits
cfe-commits at lists.llvm.org
Fri Mar 21 07:44:28 PDT 2025
================
@@ -97,6 +97,41 @@ core.DivideZero (C, C++, ObjC)
.. literalinclude:: checkers/dividezero_example.c
:language: c
+.. _core-FixedAddressDereference:
+
+core.FixedAddressDereference (C, C++, ObjC)
+"""""""""""""""""""""""""""""""""""""""""""
+Check for dereferences of fixed addresses.
+
+A pointer contains a fixed address if it was set to a hard-coded value or it
+becomes otherwise obvious that at that point it can have only a single specific
+value.
----------------
NagyDonat wrote:
```suggestion
numerical value.
```
To clarify that something like
```
int global;
void foo(int *p) {
if (p != &global)
return;
// ...
}
```
is not considered to be a "single specific value".
https://github.com/llvm/llvm-project/pull/132404
More information about the cfe-commits
mailing list