llvm-svn: 42041

llvm-svn: 42040

llvm-svn: 42039

llvm-svn: 42038

llvm-svn: 42037

llvm-svn: 42036

llvm-svn: 42035

mechanism can be implemented simply by affixing the Observer to an
analysis meta data, so it doesn't need to be a required type.  This
also permits analyses not to implement an Observer if it doesn't make
sense.

Changed "DataflowValues::MetaDataTy" to
"DataflowValues::AnalysisDataTy" to reflect that the type
enscapsulated the data associated with analyzing a given CFG.

Changed CFGStmtVisitor::BlockStmt_VisitImplicitControlFlowStmt(Stmt*)
to ...VisitImplicitControlFlowExpr(Expr*).  The type narrowing is more
precise and more useful to clients.

Added CFGStmtVisitor::BlockStmt_VisitExpr to reflect the visitation of
expressions at the block statement level.  This captures all implicit
control-flow statements as well as other expressions that are hoisted
to the block level (such as conditions for terminators and function
calls).  This is especially useful for dataflow analysis.

llvm-svn: 42034

in the CFG builder logic.

llvm-svn: 42033

llvm-svn: 42032

to serve as the entry block.  An empty entry block (just as with an
empty exit block, which we already have) simplifies building analyses on top
of CFGs with very little extra overhead.

llvm-svn: 42031

llvm-svn: 42030

can terminate a block with no fall-through.

llvm-svn: 42029

llvm-svn: 42028

llvm-svn: 42027

64-bit) can use test instead of cmp with an immediate.

llvm-svn: 42026

llvm-svn: 42025

previously only done for 32-bit and smaller operands.

llvm-svn: 42024

Add support for ObjC keyword selectors.

- Add SelectorInfo/SelectorTable classes, modeled after IdentifierInfo/IdentifierTable.
- Add SelectorTable instance to ASTContext, created lazily through ASTContext::getSelectorInfo().
- Add SelectorInfo slot to ObjcMethodDecl.
- Add helper function to derive a SelectorInfo from ObjcKeywordInfo.

Misc: Got the Decl stats stuff up and running again...it was missing support for ObjC AST's.
llvm-svn: 42023

llvm-svn: 42022

llvm-svn: 42021

llvm-svn: 42020

so only works on x86 target).

llvm-svn: 42019

Add operator == and != to SparseBitVector.
Simplify code for test_and_set

llvm-svn: 42018

llvm-svn: 42017

llvm-svn: 42016

Updated VC++ project files.

llvm-svn: 42015

llvm-svn: 42014

llvm-svn: 42013

"The ExpectedStr search was starting at the end of the comment string.
This patch starts the search at the beginning of the comment string.
After applying this patch, clang -parse-ast-check on negative test
case source files worked as expected."

llvm-svn: 42012

llvm-svn: 42011

llvm-svn: 42010

Patch by Justin Handville

llvm-svn: 42009

match the conditional that turns on exception handling emittion in the asm
printer.

llvm-svn: 42008

llvm-svn: 42007

llvm-svn: 42006

llvm-svn: 42002

- Allow classnames as the receiver (removing a FIXME from ParseObjCMessageExpression).
- Added a FIXME to ParseObjCMessageExpression()...we need to return a message expr AST node!

llvm-svn: 42001

llvm-svn: 42000

supports it. This solves this error on the Darwin x86-64 platform:

$ cat testcase.ii
struct A {
  A();
};

A *bork() {
  return new A;
}
$ llvm-g++ -arch x86_64 -c testcase.ii
/var/tmp//cc3U8fd8.s:52:unknown section type: non_lazy_symbol_pointers
/var/tmp//cc3U8fd8.s:52:Rest of line ignored. 1st junk character valued 76 (L).
/var/tmp//cc3U8fd8.s:53:Unknown pseudo-op: .indirect_symbol
/var/tmp//cc3U8fd8.s:53:Rest of line ignored. 1st junk character valued 95 (_).

llvm-svn: 41999