llvm-svn: 58243

llvm-svn: 58236

Only loc::MemRegionVal can be modified. This avoids crashing in RegionStore when a function pointer is used as an argument.

llvm-svn: 58233

llvm-svn: 58182

Simplify ArrayToPointer conversion. Actually the only thing we need to do is to get the first element region. It is not necessary to care about the kind of the base array region.

llvm-svn: 58181

must be under the `tools' subdirectory of the LLVM *source* tree.

llvm-svn: 58180

This fixes PR 2948.

llvm-svn: 58148

llvm-svn: 58140

for StringLiteral lvalue evaluation, instead of directly returning a
loc::StringLiteralVal by the Environment.

llvm-svn: 58138

llvm-svn: 58137

llvm-svn: 58135

llvm-svn: 58114

followsFundamentalRule() returns true if "alloc" or "new" appear at the beginning of the string, not anywhere within it.

llvm-svn: 58112

Implicit conversions from arrays can also be conversions to references (will add a test case shortly).

llvm-svn: 58110

Issue warnings about owned objects returned from a method that does not match the established Cocoa naming conventions.

llvm-svn: 58108

Added method "getSelfRegion" to Store.  This method returns the region associated with the "this" or "self" object (C++ and Objective-C respectively).

llvm-svn: 58107

llvm-svn: 58106

The Decl of an array region can be VarDecl or FieldDecl. Handle this in RegionStoreManager::ArrayToPointer().

llvm-svn: 58086

the array initialization code into a function.

llvm-svn: 58083

llvm-svn: 58077

llvm-svn: 58074

llvm-svn: 58073

llvm-svn: 58070

llvm-svn: 58061

llvm-svn: 58058

llvm-svn: 58056

llvm-svn: 58030

llvm-svn: 58028

Disable warning about potential leaks of returned values until we test it a little more (lots of noise).

llvm-svn: 58021

Warn about potentially leaked objects that are returned from methods whose names do not follow the Cocoa Memory Management guidelines.

llvm-svn: 58012

Enhance reference-count checker to correctly identify CG "release" functions.  This fixes <rdar://problem/6303488>.

llvm-svn: 57997

llvm-svn: 57977

llvm-svn: 57964

llvm-svn: 57963

When conjuring symbols for compound assignments, use the promoted type to determine if the symbolic value as a "loc::" or "nonloc::" value.

llvm-svn: 57917

llvm-svn: 57910

llvm-svn: 57909

Handle [NSAutoreleasePool addObject:] (an alternative way to add objects to the current autorelease pool).

Added initial code for tracking stack of autorelease pools.

llvm-svn: 57908

GRExprEngine::VisitCast() so that other parts of the analyzer can be ignorant.
When we cast "array of type T" to "pointer to T", we get the loc::MemRegionVal
corresponding to the array variable. This is sufficient for BasicStore, but not
for RegionStore. RegionStore should get the element region for the first array
element in the cast. So next comes to the revamping of transfer functions for
different store model.

llvm-svn: 57897

llvm-svn: 57896