[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