clang 20.0.0git
Classes
clang::ento::nonloc Namespace Reference

Classes

class  CompoundVal
 The simplest example of a concrete compound value is nonloc::CompoundVal, which represents a concrete r-value of an initializer-list or a string. More...
 
class  ConcreteInt
 Value representing integer constant. More...
 
class  LazyCompoundVal
 While nonloc::CompoundVal covers a few simple use cases, nonloc::LazyCompoundVal is a more performant and flexible way to represent an rvalue of record type, so it shows up much more frequently during analysis. More...
 
class  LocAsInteger
 
class  PointerToMember
 Value representing pointer-to-member. More...
 
class  SymbolVal
 Represents symbolic expression that isn't a location. More...