llvm-svn: 76092

llvm-svn: 76091

llvm-svn: 76090

nonfragile abi, instead of crashing.

llvm-svn: 76088

instead of doing it manually (which might end up getting auto-renamed),
fixing a FIXME. rdar://7065446

llvm-svn: 76079

llvm-svn: 76078

Convert all clients to use the new predicate on Type.

llvm-svn: 76076

some target hooks.

llvm-svn: 75895

llvm-svn: 75887

llvm-svn: 75885

ValueManager::makeArrayIndex()/convertArrayIndex() methods.  This
handles yet another crash case when reasoning about array indices of
different bitwidth and signedness.

llvm-svn: 75884

(1) Moved the SValuator object from GRExprEngine to ValueManager.  This
   allows ValueManager to use the SValuator when creating SVals.

(2) Added ValueManager::makeArrayIndex() and
    ValueManager::convertToArrayIndex(), two SVal creation methods
    that will help RegionStoreManager always have a consistent set of
    SVals with the same integer size and type when reasoning about
    array indices.

llvm-svn: 75882

Patch by Ryan Flynn

llvm-svn: 75879

llvm-svn: 75878

llvm-svn: 75877

llvm-svn: 75876

llvm-svn: 75874

llvm-svn: 75873

This is fallout from the recent ObjCObjectPointerType rework. I'll work on fixing this tomorrow.

llvm-svn: 75870

llvm-svn: 75869

llvm-svn: 75865

llvm-svn: 75861

Objective-C pointers to using ObjCObjectPointerType.

Now the checking for 'attribute ((nonnull))' in Sema doesn't emit an error when
trying to apply that attribute to a parameter that is an Objective-C pointer
(this is a regression).

To prevent this regression from occuring in the future, the 'nonnull.c' test was
moved to test/SemaObjC and renamed 'nonnull.m'. I also enhanced the tests to
show that function calls involved a NULL Objective-C pointer constant does not
trigger a warning. This is consistent with GCC, but should likely be fixed.

llvm-svn: 75856

a test failure, until figuring out what caused the failure.

llvm-svn: 75855

base/members.

llvm-svn: 75849

Fix <rdar://problem/7062158> by having BasicStoreManager model values for 'static' global variables.

llvm-svn: 75844

llvm-svn: 75832

llvm-svn: 75821

Remove cast from test case (cast was incorrectly added as part of http://llvm.org/viewvc/llvm-project?view=rev&revision=75314).

Add new warnings that are being produced.

llvm-svn: 75816

llvm-svn: 75815

llvm-svn: 75814

llvm-svn: 75813

llvm-svn: 75810

Implement the ObjC pseudo built-in types as clang "BuiltinType's". I say pseudo built-in types, since Sema still injects a typedef for recognition (i.e. they aren't truly built-ins from a parser perspective).

This removes the static data/methods on ObjCObjectPointerType while preserving the nice API (no need to fiddle with ASTContext:-).

This patch also adds Type::isObjCBuiltinType().

This should be the last fairly large patch related to recrafting the ObjC type system. The follow-on patches should be fairly small.

llvm-svn: 75808

Force flag to control whether the case of opening an existing
file is considered an error.

llvm-svn: 75802

llvm-svn: 75764

llvm-svn: 75761

llvm-svn: 75750

llvm-svn: 75748

llvm-svn: 75745