llvm-svn: 66003

reduces allocated Decl size by ~8% on Cocoa.h (~700k).

llvm-svn: 66002

llvm-svn: 65988

llvm-svn: 65987

pointer-to-pointer casts involving symbolic locations.

llvm-svn: 65984

llvm-svn: 65983

retrieval from the store/environment for locations or scalar types.

llvm-svn: 65982

RegionStore::RemoveDeadBindings needs to check all the symbols of the super region of a scanned region as well.

llvm-svn: 65981

conclusions are our PCH generation is way faster than gcc, and the
Python based driver kills compile times.

llvm-svn: 65980

llvm-svn: 65978

is searched for in the global pool. It already uncovered 
a clang bug in message selection.

llvm-svn: 65974

Fix <rdar://problem/5982579> [clang on xcode] (using arch=x86_64): synthesized property 'sdkPath' must either be named the same as a compatible ivar or must explicitly name an ivar.

llvm-svn: 65973

SVal::getAsLocSymbol(). This simplifies the code and allows the retain/release
checker to (I believe) also correctly reason about location symbols wrapped in
SymbolicRegions.

Along the way I cleaned up SymbolRef a little, disallowing implicit casts to
'unsigned'.

llvm-svn: 65972

llvm-svn: 65969

llvm-svn: 65968

and defining target-specific macros based on them (like __SSE3__ and 
friends).  After extensive discussion with Daniel, this work will need
driver support, which will translate things like -msse3 into a -mattr 
feature.  Until this work is done, the code in clang.cpp is disabled and
the X86TargetInfo ctor still defaults to SSE2.  With these two things
changed, this code will work.  PR3634

llvm-svn: 65966

Also necessary to fix:

<rdar://problem/6632061> [sema] non object types should not be allowed in @catch statements
<rdar://problem/6252237> [sema] qualified id should be disallowed in @catch statements

llvm-svn: 65964

llvm-svn: 65957

llvm-svn: 65956

with property type which does not match its ivar and
in -fobjc-gc-only mode!

llvm-svn: 65955

llvm-svn: 65954

llvm-svn: 65952

llvm-svn: 65951

llvm-svn: 65950

Change Sema::DiagnosePropertyMismatch() to check for type compatibility (rather than type equivalence, which is too strict).

llvm-svn: 65949

llvm-svn: 65948

llvm-svn: 65937

while I was at it.  There are still a lot of diagnostics missing from 
this code, and it isn't completely correct for anything other than x86, but 
it should work correctly on x86 for valid cases.

llvm-svn: 65935

llvm-svn: 65933

sub-type describes a memory location, like the pointee type of a pointer
or the element type of an array.

llvm-svn: 65925

response to attempts to diagnose an "incomplete" type. This will force
us to use DiagnoseIncompleteType more regularly (rather than looking at
isIncompleteType), but that's also a good thing.

Implicit instantiation is still very simplistic, and will create a new
definition for the class template specialization (as it should) but it
only actually instantiates the base classes and attaches
those. Actually instantiating class members will follow. 

Also, instantiate the types of non-type template parameters before
checking them,  allowing, e.g., 

  template<typename T, T Value> struct Constant; 
 
to work properly.

llvm-svn: 65924

Make bubble number decoration look more like circles than ovals.

llvm-svn: 65921

llvm-svn: 65919

llvm-svn: 65916

Add StoreManager::getSubRegionMap().  This method returns an opaque mapping for clients of StoreManagers from MemRegions to their subregions.

llvm-svn: 65914

llvm-svn: 65912

llvm-svn: 65909

llvm-svn: 65907

llvm-svn: 65906

llvm-svn: 65903