[all-commits] [llvm/llvm-project] 97d69c: [clang][dataflow] Rename `getPointeeLoc` to `getRe...
weiyi via All-commits
all-commits at lists.llvm.org
Tue Jun 14 15:53:45 PDT 2022
Branch: refs/heads/main
Home: https://github.com/llvm/llvm-project
Commit: 97d69cdaf324ec520b3f7685ef05f8e207a7bd3b
https://github.com/llvm/llvm-project/commit/97d69cdaf324ec520b3f7685ef05f8e207a7bd3b
Author: Wei Yi Tee <wyt at google.com>
Date: 2022-06-15 (Wed, 15 Jun 2022)
Changed paths:
M clang/include/clang/Analysis/FlowSensitive/Value.h
M clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
M clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp
M clang/unittests/Analysis/FlowSensitive/TransferTest.cpp
Log Message:
-----------
[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
More information about the All-commits
mailing list