clang  8.0.0svn
DynamicTypeMap.h
Go to the documentation of this file.
1 //===- DynamicTypeMap.h - Dynamic type map ----------------------*- C++ -*-===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This file provides APIs for tracking dynamic type information.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_DYNAMICTYPEMAP_H
15 #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_DYNAMICTYPEMAP_H
16 
21 #include "llvm/ADT/ImmutableMap.h"
22 #include "clang/AST/Type.h"
23 
24 namespace clang {
25 namespace ento {
26 
27 class MemRegion;
28 
29 /// The GDM component containing the dynamic type info. This is a map from a
30 /// symbol to its most likely type.
31 struct DynamicTypeMap {};
32 
33 using DynamicTypeMapImpl =
34  llvm::ImmutableMap<const MemRegion *, DynamicTypeInfo>;
35 
36 template <>
38  : public ProgramStatePartialTrait<DynamicTypeMapImpl> {
39  static void *GDMIndex();
40 };
41 
42 /// Get dynamic type information for a region.
44  const MemRegion *Reg);
45 
46 /// Set dynamic type information of the region; return the new state.
48  DynamicTypeInfo NewTy);
49 
50 /// Set dynamic type information of the region; return the new state.
52  const MemRegion *Reg, QualType NewTy,
53  bool CanBeSubClassed = true) {
54  return setDynamicTypeInfo(State, Reg,
55  DynamicTypeInfo(NewTy, CanBeSubClassed));
56 }
57 
58 void printDynamicTypeInfo(ProgramStateRef State, raw_ostream &Out,
59  const char *NL, const char *Sep);
60 
61 } // namespace ento
62 } // namespace clang
63 
64 #endif // LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_DYNAMICTYPEMAP_H
A (possibly-)qualified type.
Definition: Type.h:638
MemRegion - The root abstract class for all memory regions.
Definition: MemRegion.h:94
C Language Family Type Representation.
The GDM component containing the dynamic type info.
LineState State
llvm::ImmutableMap< const MemRegion *, DynamicTypeInfo > DynamicTypeMapImpl
Stores the currently inferred strictest bound on the runtime type of a region in a given state along ...
ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *Reg, DynamicTypeInfo NewTy)
Set dynamic type information of the region; return the new state.
Dataflow Directional Tag Classes.
DynamicTypeInfo getDynamicTypeInfo(ProgramStateRef State, const MemRegion *Reg)
Get dynamic type information for a region.
void printDynamicTypeInfo(ProgramStateRef State, raw_ostream &Out, const char *NL, const char *Sep)