llvm-svn: 47139

Moved driver logic for --grsimple to GRSimpleVals.cpp.

llvm-svn: 47137

clang namespace.

llvm-svn: 47136

Still some cleanup to do, but this initial checkin compiles and runs correctly.

llvm-svn: 47135

from RValues to GRTransferFuncs/GRSimpleVals.

llvm-svn: 47131

token.  Diagnose when the { is missing in objc @try blocks instead of aborting.

llvm-svn: 47130

llvm-svn: 47126

these operations) into GRTransferFuncs and its subclasses.  Originally all
of this logic was handled by the class RValue, but in reality different
analyses will want more flexibility on how they evaluate different values.

Transfer functions migrated so far: "Cast"

llvm-svn: 47125

llvm-svn: 47123

llvm-svn: 47120

llvm-svn: 47118

llvm-svn: 47112

Remove DeclSpec::Invalid, a recently added bool that allowed the parser to detect if the decl spec was invalid.

For now, we will stick with the original strategy - clients of Parse::ParseDeclarationSpecifiers() should never have to know this.

llvm-svn: 47104

A much better fix for http://llvm.org/bugs/show_bug.cgi?id=1987.

llvm-svn: 47103

from switch...case...default statements.

llvm-svn: 47100

llvm-svn: 47091

branch ALWAYS be the last successor for a switch-terminated block. This allows
clients to distinguish cases like the following:

switch(...)
  case XXX:
    switch(...) {
      case YYY: ...
    }
    
  case ZZZ: ..
}

In this case, the block with "case ZZZ:" is the default block for the inner
switch statement, but that case is associated with the outer switch statement,
and not the inner one. Clients can test for this behavior by checking if a
successor block is the last one (and thus just assume that this is the "default"
case).

llvm-svn: 47088

"default" case. In such cases, we now correctly add the CFGBlock representing
the code after the switch statement as a successor to the block terminated by
the switch statement.

llvm-svn: 47087

llvm-svn: 47076

llvm-svn: 47074

llvm-svn: 47072

http://llvm.org/viewvc/llvm-project?rev=47070&view=rev

llvm-svn: 47071

Renamed class GRConstants => GRExprEngine.

This was done with a Perl script, and will result in 80 col. violations that
I will gradually fix up.

llvm-svn: 47070

tgmath.h.

Note that there is another issue with tgmath.h, so mandel.c still 
doesn't work.

llvm-svn: 47069

llvm-svn: 47068

llvm-svn: 47064

llvm-svn: 47041

llvm-svn: 47040

llvm-svn: 47038

llvm-svn: 47034

People more familiar with clang than me, please review this.

llvm-svn: 47033

llvm-svn: 47030

handling Non-Lvalues of the type nonlval::SymbolVal; we were accidentally
casting them to lval::SymbolVal.

llvm-svn: 47029

doesn't support VLAs.

Reordered some cases in the switch statement of GRConstant::Visit() so
that they are ordered alphabetically based on AST node type.

llvm-svn: 47021

llvm-svn: 47016

Added transfer function support for CharacterLiteral.

llvm-svn: 47014

the class declarations for the other ObjC***Stmt classes.

llvm-svn: 47013

have been visited in a path.  Added GRBlockCounter as an item to be
enqueued to the worklist.

Modified "ProcessBranch" in GRConstants to prune branches with symbolic
conditions that have been already taken.

llvm-svn: 47010

llvm-svn: 47005

they are of type wchar_t[].

llvm-svn: 47004