llvm-svn: 70961

llvm-svn: 70952

llvm-svn: 70951

 ns_ownership_returns -> ns_returns_owned
 ns_ownership_retain -> ns_retains
 ns_ownership_release -> ns_releases
 cf_ownership_retain ->  cf_retains
 cf_ownership_release -> cf_releases

llvm-svn: 70949

llvm-svn: 70946

llvm-svn: 70943

llvm-svn: 70941

llvm-svn: 70940

objc_assign_global API when assigning to global
objective-c object pointer.

llvm-svn: 70939

compensating for super classes). This was making the reported class
sizes for empty classes very, very wrong.
 - Also, we now report the size info for an empty class like gcc (as
   the offset of the start, not as 0, 0).

 - Add a few more test cases we were mishandling before (padding bit
   field at end of struct, for example).

llvm-svn: 70938

llvm-svn: 70918

layout.
 - This is much simpler / more efficient.

 - This also properly computes the size in the presence of bit-fields.

llvm-svn: 70916

llvm-svn: 70914

llvm-svn: 70909

empty classes.

llvm-svn: 70905

llvm-svn: 70901

llvm-svn: 70897

llvm-svn: 70896

function calls.  For a program like this:

#include <stdio.h>
static __inline__ __attribute__((always_inline)) 
int bar(int x) { return 4; }
int main() { 
  int X = bar(4);
  printf("%d\n", X);
}

clang was not outputing any debug info for the body of main().  This is
because the backend is getting confused by the region_start/end that clang
is emitting for block scopes.  For now, just disable these (matching llvm-gcc),
this stuff is in progress of rework anyway.

llvm-svn: 70889

control-flow expressions as dead.

llvm-svn: 70887

'==' and '!=' (some code in the '!=' was not replicated in the '==' code,
causing some constraints to get lost).

llvm-svn: 70885

'objc_ownership_cfretain' -> 'cf_ownership_retain'
'objc_ownership_cfrelease' -> 'cf_ownership_release'

Motivation: Core Foundation objects can be used in isolation from Objective-C,
and this forces users to reason about the separate semantics of CF objects. More
Sema support pending.

llvm-svn: 70884

llvm-svn: 70883

return type and the selector.  This is inconsistent with C functions
(where such attributes would be placed on the return type, not the the
FunctionDecl), and is inconsistent with what people are use to seeing.

llvm-svn: 70878

"The attached diff fixes the //FIXME in message send to super.  This should now be faster, and works in the presence of class posing.  This is now the same approach as used in GCC (the earlier code was a quick hack to get something working)."

Patch by David Chisnall!

llvm-svn: 70877

retain checker: Add checker support for FunctionDecl ownership annotations.  Need to add Sema support.

llvm-svn: 70873

separate method.

llvm-svn: 70870

llvm-svn: 70869

The attached diff fixes the //FIXME in message send to super.  This
should now be faster, and works in the presence of class posing.  This
is now the same approach as used in GCC (the earlier code was a quick
hack to get something working).

llvm-svn: 70868

ElementRegions that have non-zero array indices.

llvm-svn: 70867

rather odd when truncated.

llvm-svn: 70866

llvm-svn: 70865

llvm-svn: 70864

test into a separate file to monitor the fact that BasicStoreManager
passes the test.

llvm-svn: 70859

llvm-svn: 70858

no-outofbounds.c still fails. Previously it passed because the array index
is mistakenly a loc::ConcreteInt.

llvm-svn: 70844

Test now passes.  I'll hold off merging it with the BasicStore test until we know this is a stable change.

llvm-svn: 70837

StoreManager: Handle casts from one element region to another.
Update test cases.

llvm-svn: 70836

llvm-svn: 70835

llvm-svn: 70834