llvm-svn: 66654

llvm-svn: 66649

offset may be different that the base. Ultimately we need a better solution for
these issues, but this point-by-point fixes are gradually outlining the scope of
the problem.

llvm-svn: 66638

llvm-svn: 66636

return an unsigned integer for a null pointer value.

llvm-svn: 66630

llvm-svn: 66629

values. Indicating this in 'canReasonAbout' allows GRExprEngine to recover
path-sensitivity in some cases.

llvm-svn: 66628

path-sensitivity, beyond checking to see if the value is "unknown" also check if
the ConstraintManager can handle the SVal. This allows us to recover some
path-sensitivity by actually discarding some information.

llvm-svn: 66627

a ConstraintManager can usefully reason about the given SVal.

llvm-svn: 66624

llvm-svn: 66622

llvm-svn: 66555

- Group control flow and event PathDiagnosticPieces into PathDiagnosticMacroPieces.
- Afterwards, eliminate any PathDiagnosticMacroPieces from a PathDiagnostic that
  contain no informative events.

HTMLDiagnostics:
- Use new information about PathDiagnosticMacroPieces to specially format
  message bubbles for macro expansions containing interesting events.

llvm-svn: 66524

llvm-svn: 66487

llvm-svn: 66486

SymbolicRegions. This fixes a serious regression when checking symbolic pointers
against null.

llvm-svn: 66444

llvm-svn: 66437

llvm-svn: 66419

llvm-svn: 66418

Bind() and BindStruct(), but we returned a state with the old store.

llvm-svn: 66409

PathDiagnosticControlFlowPiece to distinguish (in the class hierarchy) between
events and control-flow diagnostic pieces. Clients must now use these directly
when constructing PathDiagnosticPieces.

llvm-svn: 66310

Start work on subclassing PathDiagnosticPiece to distinguish more between control-flow pieces, events, etc.

llvm-svn: 66291

Add some assertions along the way...

llvm-svn: 66265

llvm-svn: 66263

llvm-svn: 66211

llvm-svn: 66208

Fix regression in GRExprEngine::VisitCast: Do not wrap symbolic function pointers with TypedViewRegions.

llvm-svn: 66187

llvm-svn: 66166

llvm-svn: 66165

llvm-svn: 66164

- Store bindings using a MemRegion -> SVal binding instead of VarDecl -> SVal
  binding. This mirrors some of the idea of RegionStore, but is far simpler and
  not nearly as functional.  This leads to some code simplification and
  some potential for some minor precision hacks.
  
Along the way...
- constify the use of MemRegion* in a few places
- add operator<<(llvm::raw_ostream, const MemRegion*)

llvm-svn: 66163

llvm-svn: 66133

llvm-svn: 66131

llvm-svn: 66130

llvm-svn: 66127

llvm-svn: 66125

llvm-svn: 66110

llvm-svn: 66107

to unknown functions. Most of this logic should be eventually moved to
RegionStore and be made lazy.

llvm-svn: 66094

- Have 'TypedRegion::getRValueType()' return a null QualType for 'id<...>'
  instead of aborting.
- Change 'TypedRegion::isBoundable()' to return true for all objects with a
  non-null RValueType (this may not be the final behavior).

llvm-svn: 66093

multiple symbols conjured at the same location. All that is required of the tag
is that it is a fixed void* value that points to an memory address that remains
valid throughout the remainder of the lifetime of the SymbolManager.

llvm-svn: 66092