Warning, /include/clang/StaticAnalyzer/Core/PathSensitive/Symbols.def is written in an unsupported language. File is not indexed.
0001 //===-- Symbols.def - Metadata about SymExpr kinds --------------*- C++ -*-===//
0002 //
0003 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
0004 // See https://llvm.org/LICENSE.txt for license information.
0005 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
0006 //
0007 //===----------------------------------------------------------------------===//
0008 //
0009 // The list of symbols (SymExpr sub-classes) used in the Static Analyzer.
0010 // In order to use this information, users of this file must define
0011 // one or more of the three macros:
0012 //
0013 // SYMBOL(Id, Parent) - for specific SymExpr sub-classes, reserving the
0014 // IdKind identifier for its kind enumeration value.
0015 //
0016 // ABSTRACT_SYMBOL(Id, Parent) - for abstract symbol classes,
0017 //
0018 // SYMBOL_RANGE(Id, First, Last) - for ranges of kind-enums,
0019 // allowing to determine abstract class of a symbol
0020 // based on the kind enumeration value.
0021 //
0022 //===----------------------------------------------------------------------===//
0023
0024 #ifndef SYMBOL
0025 #define SYMBOL(Id, Parent)
0026 #endif
0027
0028 #ifndef ABSTRACT_SYMBOL
0029 #define ABSTRACT_SYMBOL(Id, Parent)
0030 #endif
0031
0032 #ifndef SYMBOL_RANGE
0033 #define SYMBOL_RANGE(Id, First, Last)
0034 #endif
0035
0036 SYMBOL(UnarySymExpr, SymExpr)
0037
0038 ABSTRACT_SYMBOL(BinarySymExpr, SymExpr)
0039 SYMBOL(IntSymExpr, BinarySymExpr)
0040 SYMBOL(SymIntExpr, BinarySymExpr)
0041 SYMBOL(SymSymExpr, BinarySymExpr)
0042 SYMBOL_RANGE(BINARYSYMEXPRS, IntSymExprKind, SymSymExprKind)
0043
0044 SYMBOL(SymbolCast, SymExpr)
0045
0046 ABSTRACT_SYMBOL(SymbolData, SymExpr)
0047 SYMBOL(SymbolConjured, SymbolData)
0048 SYMBOL(SymbolDerived, SymbolData)
0049 SYMBOL(SymbolExtent, SymbolData)
0050 SYMBOL(SymbolMetadata, SymbolData)
0051 SYMBOL(SymbolRegionValue, SymbolData)
0052 SYMBOL_RANGE(SYMBOLS, SymbolConjuredKind, SymbolRegionValueKind)
0053
0054 #undef SYMBOL
0055 #undef ABSTRACT_SYMBOL
0056 #undef SYMBOL_RANGE
