[clang] [clang][ssaf] Introduce entity abstraction for SSAF (PR #169131)

Balázs Benics via cfe-commits cfe-commits at lists.llvm.org
Tue Nov 25 04:49:22 PST 2025


================
@@ -0,0 +1,46 @@
+//===- ASTMapping.h - AST to SSAF Entity mapping ----------------*- C++ -*-===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+#ifndef LLVM_CLANG_ANALYSIS_SCALABLE_ASTMAPPING_H
+#define LLVM_CLANG_ANALYSIS_SCALABLE_ASTMAPPING_H
+
+#include "clang/Analysis/Scalable/Model/EntityName.h"
+#include "clang/AST/Decl.h"
+#include "llvm/ADT/StringRef.h"
+#include <optional>
+
+namespace clang {
+namespace ssaf {
+
+/// Maps a declaration to an EntityName.
+///
+/// Supported declaration types for entity mapping:
+/// - Functions and methods
+/// - Global Variables
+/// - Function parameters
+/// - Struct/class/union type definitions
+/// - Struct/class/union fields
----------------
steakhal wrote:

I wonder what support `BlockDecls` or `ObjCMethodDecls` going to get - given that they are like callables but not derived from FunctionDecls.

Shall we explicitly state that they are not supported? Or do you have plans to ever support them?

https://github.com/llvm/llvm-project/pull/169131


More information about the cfe-commits mailing list