llvm-svn: 50245

Don't emit empty strings for path diagnostics when taking the default branch of a switch statement that has no label.

llvm-svn: 50242

Implemented support for better localized leaks in the CF reference count checker.
Now leaks should be flagged close to where they occur.

This should implement the desired functionality in <rdar://problem/5879592>, although the diagnostics still need to be improved.

llvm-svn: 50241

Fix bug in x86 memcpy / memset lowering. If there are trailing bytes not handled by rep instructions, a new memcpy / memset is introduced for them. However, since source / destination addresses are already adjusted, their offsets should be zero.

llvm-svn: 50239

llvm-svn: 50237

llvm-svn: 50236

llvm-svn: 50235

llvm-svn: 50234

llvm-svn: 50233

llvm-svn: 50229

its super class. This patch is incomplete.

llvm-svn: 50228

llvm-svn: 50222

function logic to act when symbols become dead.

llvm-svn: 50221

for the fix in r50178 (http://llvm.org/viewvc/llvm-project?rev=50178&view=rev).
This fix was for <rdar://problem/5881148>.

llvm-svn: 50220

Added test case for functionality fix in rdar://problem/5886141 (handle variadic CF Create functions).

llvm-svn: 50219

llvm-svn: 50217

llvm-svn: 50216

This fixes <rdar://problem/5886141>.

Part of this change resulted in creating sparser summaries.  I also added
some more comments and did some minor code cleanups.

llvm-svn: 50214

when processing a constraint we don't understand.  This allows the frontend
to gracefully fail.

llvm-svn: 50213

llvm-svn: 50212

- Do not iterate over SmallPtrSet, the order of iteration is not deterministic.

llvm-svn: 50209

llvm-svn: 50206

llvm-svn: 50205

llvm-svn: 50203

sccp tracks getresult values, not call values in this
case.

llvm-svn: 50202

llvm-svn: 50201

Fix said code to handle merging return instructions together correctly
when handling multiple return values.

llvm-svn: 50199

that say that we are jumping to "case a" instead of "case 0".

This is a feature implementation for <rdar://problem/5880430>.

llvm-svn: 50197

llvm-svn: 50196

llvm-svn: 50195

When building PathDiagnostics for bug reports, generate a trimmed ExplodedGraph with a single path that BugReport objects can safely walk and introspect.

llvm-svn: 50194

llvm-svn: 50193

llvm-svn: 50192

llvm-svn: 50191

llvm-svn: 50190

llvm-svn: 50189

llvm-svn: 50187

return instrs operands didn't match up with function results.

llvm-svn: 50182

llvm-svn: 50181

llvm-svn: 50180