llvm-svn: 63855

llvm-svn: 63854

ReMaterializeTrivialDef need to trim the live interval to the last kill if the copy kills the source register. This fixes uint64tof64.ll after ARM::MOVi is marked as isAsCheapAsAMove.

llvm-svn: 63853

llvm-svn: 63852

llvm-svn: 63851

 - No (intended) functionality change, the semantic changes are to come.

llvm-svn: 63850

llvm-svn: 63849

llvm-svn: 63848

llvm-svn: 63847

llvm-svn: 63846

llvm-svn: 63845

do the symblic regions associated with them and we need them to be typed.

Current SymbolicRegion::getRValueType() method is very restricting. It may be
modified when we are more clear about what could be the types of symblic
regions.

BasicConstraintManager::Assume() is changed due to that now SymblicRegion is a
subclass of SubRegion.
 

llvm-svn: 63844

sure to print the value properly sext'd to the right pointer size.
This fixes PR3481.

llvm-svn: 63843

checker. This was previously needed because BugReport objects were previously
allocated on the stack and not owned by BugReporter. Now we can just issue them
on the fly. This change was motivated because we were seeing some weird cases
where some really long paths would get issued for bugs (particularly leaks)
because of some double-caching.

llvm-svn: 63840

between call frame setup/restore points.  Unfortunately, this regresses 
code size a bit, but at least it's correct now!

llvm-svn: 63837

llvm-svn: 63836

buffer after it creates the Module. Thus, we don't need to store this pointer
in claimed_file.

llvm-svn: 63834

between a unsigned integer and signed integer.

llvm-svn: 63831

Reword a comment for clarity. Remove some extra whitespace.

llvm-svn: 63823

llvm-svn: 63816

Untested, Daniel or Nate please review.

llvm-svn: 63814

llvm-svn: 63813

llvm-svn: 63812

llvm-svn: 63811

llvm-svn: 63810

llvm-svn: 63809

llvm-svn: 63808

llvm-svn: 63803

llvm-svn: 63802

llvm-svn: 63800

information.

llvm-svn: 63799

the ownership of BugTypes and BugReports. Now BugReports are owned by BugTypes,
and BugTypes are owned by the BugReporter object.

The major functionality change in this patch is that reports are not immediately
emitted by a call to BugReporter::EmitWarning (now called EmitReport), but
instead of queued up in report "equivalence classes". When
BugReporter::FlushReports() is called, it emits one diagnostic per report
equivalence class. This provides a nice cleanup with the caching of reports as
well as enables the BugReporter engine to select the "best" path for reporting a
path-sensitive bug based on all the locations in the ExplodedGraph that the same
bug could occur.

Along with this patch, Leaks are now coalesced into a common equivalence class
by their allocation site, and the "summary" diagnostic for leaks now reports the
allocation site as the location of the bug (this may later be augmented to also
provide an example location where the leak occurs).

llvm-svn: 63796

r63765).

llvm-svn: 63795

llvm-svn: 63794

Adjust callers.

llvm-svn: 63789

and llvm-gcc.

llvm-svn: 63786

extension. The interaction with designated initializers is a
bit... interesting... but we follow GNU's lead and don't permit too
much crazy code in this area.

Also, make the "excess initializers" error message a bit more
informative.

Addresses PR2561: http://llvm.org/bugs/show_bug.cgi?id=2561

llvm-svn: 63785

llvm-svn: 63784

llvm-svn: 63782

llvm-svn: 63781