- Added support for ObjCForCollectionStmt
- Fixed bug where expression values would be always set to uninitialized when loops were involved

llvm-svn: 59076

llvm-svn: 59075

llvm-svn: 59061

Introduce a single AST node SizeOfAlignOfExpr for all sizeof and alignof expressions, both of values and types.

llvm-svn: 59057

llvm-svn: 59053

http://developer.apple.com/documentation/Cocoa/Conceptual/ObjectiveC/Articles/chapter_7_section_2.html#//apple_ref/doc/uid/TP30001163-CH18-SW3

Need to modify GRExprEngine, LiveVariables, and UninitializedValues to understand this construct.

llvm-svn: 59049

llvm-svn: 59042

 - Emits an unconditional branch, with extra logic to avoid generating
   spurious branches out of dummy blocks.

llvm-svn: 59037

llvm-svn: 59036

the size of the -O0 output on some cases.  For example, on expr.c from
176.gcc, it shrinks the .ll file from 43164 to 42835 lines, and removed
references to two external symbols.

llvm-svn: 59034

condition is a constant.  This shrinks -O0 codegen by quite a bit
on some cases.

llvm-svn: 59033

llvm-svn: 59032

llvm-svn: 59027

"dummy" blocks (blocks just used to make sure we have a place to dump
code to).

llvm-svn: 59022

 - Was confusing and only used in one small part of the code.

llvm-svn: 59020

 - No functionality change.

llvm-svn: 59017

llvm-svn: 59015

llvm-svn: 59013

llvm-svn: 59000

llvm-svn: 58990

llvm-svn: 58989

llvm-svn: 58988

llvm-svn: 58987

Some cleanups to the declaration/checking of overloaded operators in C++. Thanks to Sebastian for the review

llvm-svn: 58986

llvm-svn: 58985

Implement RegionStoreManager::RemoveDeadBindings(). This prunes several false warning caused by removal of symbolic constraints. Currently we just mark all symbols live. Further optimization for dead binding removal needed.

llvm-svn: 58982

speeds up the compiler by ~8% at -emit-llvm -O0.

llvm-svn: 58977

1. emit proper debug info for forward decls of structs.
2. emit DW_TAG_member nodes around members of a field like llvm-gcc does.

This slows down debug info generation, but is required for correctness.

llvm-svn: 58973

using MachineModuleInfo.  This runs at about the same speed as the old
code, but fixes a bunch of bugs and is simpler and shorter.

llvm-svn: 58971

Print integer value instead of raw pointer. This is a hack to be fixed by migrating the output in analyzer to llvm::raw_ostream.

llvm-svn: 58965

llvm-svn: 58956

Introduce ScopedDecl::getLexicalDeclContext() which is different from ScopedDecl::getDeclContext() when there are nested-names.
e.g.:
  namespace A {
    void f(); // SemanticDC (getDeclContext) == LexicalDC (getLexicalDeclContext) == 'namespace A'
  }
  void A::f(); // SemanticDC == namespace 'A'
               // LexicalDC == global namespace

llvm-svn: 58948

When a tag has nested-name ('struct foo::bar'), use not 'CurContext' but the context of the nested-name ('foo::').

llvm-svn: 58945

-Use more of the non nested-name code path.
-Also use the ActOnTagStruct code path.

llvm-svn: 58944

llvm-svn: 58940

llvm-svn: 58916

No Sema functionality change, just the signatures of the Action/Sema methods.

llvm-svn: 58913

Introduce annotation tokens, a special kind of token, created and used only by the parser to replace a group of tokens with a single token encoding semantic information.
Will be fully utilized later for C++ nested-name-specifiers.

llvm-svn: 58911

Move named cast helpers out of Sema, as Chris requested. This requirse making a few functions public that weren't before.

llvm-svn: 58906

llvm-svn: 58904