clang API Documentation

Classes | Enumerations
clang::ento::loc Namespace Reference

Classes

class  GotoLabel
class  MemRegionVal
class  ConcreteInt

Enumerations

enum  Kind { GotoLabelKind, MemRegionKind, ConcreteIntKind }

Enumeration Type Documentation

Enumerator:
GotoLabelKind 
MemRegionKind 
ConcreteIntKind 

Definition at line 468 of file SVals.h.