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

[Jan Korous via All-commits]

  Branch: refs/heads/users/steakhal/ssaf-callgraph-fixme
  Home:   https://github.com/llvm/llvm-project
  Commit: c5e1fa1ed05848d43f1660e03d18ebe8266ec526
      https://github.com/llvm/llvm-project/commit/c5e1fa1ed05848d43f1660e03d18ebe8266ec526
  Author: Jan Korous <jkorous at apple.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

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. I'll add dedicated unittests in future PRs.

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

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