Skip to content
  • Ted Kremenek's avatar
    Static analyzer: Remove a bunch of outdated SymbolData objects and · 74040833
    Ted Kremenek authored
    their associated APIs.  We no longer need separate SymbolData objects
    for fields, variables, etc.  Instead, we now associated symbols with
    the "rvalue" of a MemRegion (i.e., the value stored at that region).
    Now we only have two kinds of SymbolData objects: SymbolRegionRValue
    and SymbolConjured.
    
    This cleanup also makes the distinction between a SymbolicRegion and a
    symbolic value that is a location much clearer.  A SymbolicRegion
    represents a chunk of symbolic memory, while a symbolic location is
    just a "pointer" with different possible values.  Without any specific
    knowledge, a symbolic location resolves (i.e., via a dereference) to a
    SymbolicRegion.  In the future, when we do better alias reasoning, a
    symbolic location can become an alias for another location, thus
    merging the constraints on the referred SymbolicRegion with the other
    region.
    
    llvm-svn: 62769
    74040833
Loading