| 1 | //===-- Symbols.def - Metadata about SymExpr kinds --------------*- C++ -*-===// |
|---|
| 2 | // |
|---|
| 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
|---|
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
|---|
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
|---|
| 6 | // |
|---|
| 7 | //===----------------------------------------------------------------------===// |
|---|
| 8 | // |
|---|
| 9 | // The list of symbols (SymExpr sub-classes) used in the Static Analyzer. |
|---|
| 10 | // In order to use this information, users of this file must define |
|---|
| 11 | // one or more of the three macros: |
|---|
| 12 | // |
|---|
| 13 | // SYMBOL(Id, Parent) - for specific SymExpr sub-classes, reserving the |
|---|
| 14 | // IdKind identifier for its kind enumeration value. |
|---|
| 15 | // |
|---|
| 16 | // ABSTRACT_SYMBOL(Id, Parent) - for abstract symbol classes, |
|---|
| 17 | // |
|---|
| 18 | // SYMBOL_RANGE(Id, First, Last) - for ranges of kind-enums, |
|---|
| 19 | // allowing to determine abstract class of a symbol |
|---|
| 20 | // based on the kind enumeration value. |
|---|
| 21 | // |
|---|
| 22 | //===----------------------------------------------------------------------===// |
|---|
| 23 | |
|---|
| 24 | #ifndef SYMBOL |
|---|
| 25 | #define SYMBOL(Id, Parent) |
|---|
| 26 | #endif |
|---|
| 27 | |
|---|
| 28 | #ifndef ABSTRACT_SYMBOL |
|---|
| 29 | #define ABSTRACT_SYMBOL(Id, Parent) |
|---|
| 30 | #endif |
|---|
| 31 | |
|---|
| 32 | #ifndef SYMBOL_RANGE |
|---|
| 33 | #define SYMBOL_RANGE(Id, First, Last) |
|---|
| 34 | #endif |
|---|
| 35 | |
|---|
| 36 | SYMBOL(UnarySymExpr, SymExpr) |
|---|
| 37 | |
|---|
| 38 | ABSTRACT_SYMBOL(BinarySymExpr, SymExpr) |
|---|
| 39 | SYMBOL(IntSymExpr, BinarySymExpr) |
|---|
| 40 | SYMBOL(SymIntExpr, BinarySymExpr) |
|---|
| 41 | SYMBOL(SymSymExpr, BinarySymExpr) |
|---|
| 42 | SYMBOL_RANGE(BINARYSYMEXPRS, IntSymExprKind, SymSymExprKind) |
|---|
| 43 | |
|---|
| 44 | SYMBOL(SymbolCast, SymExpr) |
|---|
| 45 | |
|---|
| 46 | ABSTRACT_SYMBOL(SymbolData, SymExpr) |
|---|
| 47 | SYMBOL(SymbolConjured, SymbolData) |
|---|
| 48 | SYMBOL(SymbolDerived, SymbolData) |
|---|
| 49 | SYMBOL(SymbolExtent, SymbolData) |
|---|
| 50 | SYMBOL(SymbolMetadata, SymbolData) |
|---|
| 51 | SYMBOL(SymbolRegionValue, SymbolData) |
|---|
| 52 | SYMBOL_RANGE(SYMBOLS, SymbolConjuredKind, SymbolRegionValueKind) |
|---|
| 53 | |
|---|
| 54 | #undef SYMBOL |
|---|
| 55 | #undef ABSTRACT_SYMBOL |
|---|
| 56 | #undef SYMBOL_RANGE |
|---|
| 57 | |
|---|
