Patch by Collin Winter!

llvm-svn: 70898

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

llvm-svn: 70886

'==' 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

in a comment.

llvm-svn: 70882

llvm-svn: 70881

llvm-svn: 70880

llvm-svn: 70879

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

only capture their arguments by returning them or
throwing an exception or not based on the argument
value.  Patch essentially by Frits van Bommel.

llvm-svn: 70876

llvm-svn: 70875

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

llvm-svn: 70873

llvm-svn: 70872

-Depend on DebugLocs for source line info.

(Comes with Regression-Be-Gone(tm))

llvm-svn: 70871

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

llvm-svn: 70856

Patch by Jay Foad!

llvm-svn: 70849

of broken/buggy/snapshot-based compilers)

llvm-svn: 70848

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

Simplify the interesting-region code by assimmilating blocks of non-whitespace text with each expansion step. It's easier and seems to have better results.

llvm-svn: 70833

'ElementRegion' on top of the VarRegion for 'x'.  This causes the test
case xfail_wine_crash.c to now pass for BasicStoreManager.  It doesn't
crash for RegionStoreManager either, but reports a bogus unintialized
value warning.

llvm-svn: 70832

  1) First of all, we treat _ as part of an identifier and not as
  punctuation (oops).
  2) Second of all, always make sure that the token that the ^ is
  pointing at is fully within the "interesting" part of the range.

llvm-svn: 70831