Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 14 | pmbaty | 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 |