- Creator function pointers are saved in ManagerRegistry.
 - The Register* class is used to notify ManagerRegistry new module is 
   available.
 - AnalysisManager queries ManagerRegistry for configurable module. Then it
   passes them to GRExprEngine, in turn to GRStateManager.

llvm-svn: 60143

  id<P0>

The intended overloading behavior of these entities isn't entirely
clear, and GCC seems to have some strange limitations (e.g., the
inability to overload on id<P0> vs. id<P1>). We'll want to revisit
these semantics and determine just how Objective-C++ overloading
should really work.

llvm-svn: 60142

llvm-svn: 60140

llvm-svn: 60138

llvm-svn: 60136

Support block pointer conversions in C++. I'm storing the test case locally until we can enable blocks in C++

llvm-svn: 60133

converting a pointer to one Objective-C interface into a pointer to another
Objective-C interface, and conversions with 'id'. The semantics seems
to match GCC, although they seem somewhat ad hoc.

Fixed a few cases where we assumed the C++ definition of isObjectType,
but were getting the C definition, causing failures in trouble with
conversions to void pointers.

llvm-svn: 60130

llvm-svn: 60124

llvm-svn: 60122

llvm-svn: 60119

-Change Parser::ParseCXXScopeSpecifier to MaybeParseCXXScopeSpecifier
-Remove Parser::isTokenCXXScopeSpecifier and fold it into MaybeParseCXXScopeSpecifier
-Rename Parser::TryAnnotateScopeToken to TryAnnotateCXXScopeToken and only allow it to be called when in C++

llvm-svn: 60117

llvm-svn: 60115

Implemented anonymous category (also know as continuation class)
used to override main class's property attribute. This is work in 
propgress.

llvm-svn: 60114

llvm-svn: 60109

llvm-svn: 60096

llvm-svn: 60094

llvm-svn: 60093

llvm-svn: 60069

 - This improves -parse-noop of Carbon.h by +2%, and I believe
   compensates for the majority of the performance regression in r58913.

llvm-svn: 60063

llvm-svn: 60058

Use RAII objects to ensure proper destruction of expression and statement AST nodes in the parser in most cases, even on error.

llvm-svn: 60057

llvm-svn: 60051

llvm-svn: 60050

a writable property in one of its category.

llvm-svn: 60035

llvm-svn: 60033

llvm-svn: 60032

llvm-svn: 60018

llvm-svn: 60005

llvm-svn: 59997

is imported from a protocol into the implementation.

llvm-svn: 59988

llvm-svn: 59987

properly reversed once constructed.

This fixes PR 3125:

http://llvm.org/bugs/show_bug.cgi?id=3125

llvm-svn: 59982

llvm-svn: 59979

llvm-svn: 59975

There might be other, similar bugs lurking there.

llvm-svn: 59974

llvm-svn: 59973

One design problem that is emerging is the signed-ness problem during static
analysis. Many unsigned value have to be converted into signed value because
it partipates in operations with signed values. 

On the other hand, we cannot blindly make all values occuring in static analysis
signed, because we do have cases where unsignedness is required, for example,
integer overflow detection.

llvm-svn: 59957

llvm-svn: 59956

llvm-svn: 59951

instead of converting them to strings first.  This also fixes a
bunch of minor inconsistencies in the diagnostics emitted by clang
and adds a bunch of FIXME's to DiagnosticKinds.def.

llvm-svn: 59948