[all-commits] [llvm/llvm-project] 15d8e4: [clang][ssaf] Add FIXME that CallGraphExtractor do...

[Balázs Benics via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 15d8e43e7d1efa0d0a86589e1e2c28dbe011e226
      https://github.com/llvm/llvm-project/commit/15d8e43e7d1efa0d0a86589e1e2c28dbe011e226
  Author: Balázs Benics <benicsbalazs at gmail.com>
  Date:   2026-07-13 (Mon, 13 Jul 2026)

  Changed paths:
    M clang/lib/ScalableStaticAnalysis/Analyses/CallGraph/CallGraphExtractor.cpp
    A clang/test/Analysis/Scalable/call-graph-local-entities.cpp
    A clang/test/Analysis/Scalable/local-entities.cpp

  Log Message:
  -----------
  [clang][ssaf] Add FIXME that CallGraphExtractor does not honor IncludeLocalEntities (#209228)

Currently, CallGraph extractor does not honor IncludeLocalEntities and
it emits entities for block-scope callees - irrespective of what the
option is set to, such as:

- function-local declared lambdas
- function-local declared classes and their member functions

The new test file ensures that PointerFlow and UnsafeBufferUsage honors
the IncludeLocalEntities option.

Part §3 and §5 of rdar://179151023

Depends on #209225 and #209227.
Approved in #205351.

Co-authored-by: Jan Korous <jkorous at apple.com>
Co-authored-by: Claude Opus 4.7 <noreply at anthropic.com>



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications