[all-commits] [llvm/llvm-project] 0e2d5c: [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: 0e2d5c79f7f9219a815e24246afa36bfb7424962
      https://github.com/llvm/llvm-project/commit/0e2d5c79f7f9219a815e24246afa36bfb7424962
  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