projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ce33c2) | patch
[clang][dataflow] Rename `getPointeeLoc` to `getReferentLoc` for ReferenceValue.
authorWei Yi Tee <wyt@google.com>
Tue, 14 Jun 2022 22:41:49 +0000 (00:41 +0200)
committerDmitri Gribenko <gribozavr@gmail.com>
Tue, 14 Jun 2022 22:53:30 +0000 (00:53 +0200)
commit97d69cdaf324ec520b3f7685ef05f8e207a7bd3b
tree99a2e941e9c56cc9744e08a131d3b867e1b0ed6ftree | snapshot
parent0ce33c29411869668e299da70e7db76393dcb5edcommit | diff
[clang][dataflow] Rename `getPointeeLoc` to `getReferentLoc` for ReferenceValue.

We distinguish between the referent location for `ReferenceValue` and pointee location for `PointerValue`. The former must be non-empty but the latter may be empty in the case of a `nullptr`

Reviewed By: gribozavr2, sgatev

Differential Revision: https://reviews.llvm.org/D127745
clang/include/clang/Analysis/FlowSensitive/Value.h diff | blob | history
clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp diff | blob | history
clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp diff | blob | history
clang/unittests/Analysis/FlowSensitive/TransferTest.cpp diff | blob | history
Domain: System / Toolchain;