Skip to content
  • Ted Kremenek's avatar
    Refactor DereferenceChecker to use only the new Checker API instead of · 5e1f78ae
    Ted Kremenek authored
    the old builder API.  This percolated a bunch of changes up to the
    Checker class (where CheckLocation has been renamed VisitLocation) and
    GRExprEngine.  ProgramPoint now has the notion of a "LocationCheck"
    point (with PreLoad and PreStore respectively), and a bunch of the old
    ProgramPoints that are no longer used have been removed.
    
    llvm-svn: 86798
    5e1f78ae
Loading