llvm-svn: 53647

llvm-svn: 53645

Added parsing/sema support for __attribute__ ((IBOutlet)), a clang-specific attribute that the static analyzer will use to recognize what ivars are IBOutlets.

llvm-svn: 53644

llvm-svn: 53628

isRetain() and isRelease() now only returns true if "Retain"/"Release" appears in the suffix of a function's name.

llvm-svn: 53621

llvm-svn: 53617

llvm-svn: 53573

Add some code to handle vector comparisons, which is the language side
of the llvm vicmp/vfcmp instructions.  Also make the vector-vector and
vector-scalar asign checks a bit more sane under the presence of lax vector
conversions.

llvm-svn: 53565

Refactored error reporting in CheckObjCDealloc and CheckObjCInstMethSignature to use this new bug reporting interface (major code simplification).

llvm-svn: 53560

llvm-svn: 53552

Simplify the parser by removing Parser::ParseIdentifierStatement.

llvm-svn: 53520

llvm-svn: 53519

Casts from pointers remain a problem. :)

llvm-svn: 53501

llvm-svn: 53500

code.  Switch to Eli's getIntWidth method.

llvm-svn: 53499

llvm-svn: 53493

llvm-svn: 53492

diagnosic+loc info for i-c-e evaluation.

llvm-svn: 53490

ObjCImplementationDecls and sees if a ancestor class defines a method with the
same selector but with a different type signature. Right now it just compares
return types, and mainly looks at differences in primitive values. The checking
will be expanded in the future.

llvm-svn: 53482

llvm-svn: 53477

llvm-svn: 53475

llvm-svn: 53473

comparison has the right width.

llvm-svn: 53469

llvm-svn: 53468

llvm-svn: 53467

Add some accessors to APValue.

llvm-svn: 53465

Refactored auditor interface within GRExprEngine and GRCoreEngine to use a "batch auditor" to dispatch to specialized auditors instead of having a separate vector for each audited Expr*.  This not only provides a much cleaner implementation, but also allows us to install auditors for any expression.

llvm-svn: 53464

llvm-svn: 53463

  "adds support (de)serialization (from)to (in memory) buffer."

llvm-svn: 53425

current store implementation is now encapsulated by BasicStore.

These changes prompted some long due constification of ValueState. Much of the
diffs in this patch include adding "const" qualifiers.

llvm-svn: 53423

llvm-svn: 53413

llvm-svn: 53412

Simplify the parser a bit by looking at the next token without consuming it (by Preprocessor::LookNext):

-Remove ParseExpressionWithLeadingIdentifier and ParseAssignmentExprWithLeadingIdentifier.
-Separate ParseLabeledStatement from ParseIdentifierStatement.

llvm-svn: 53376

Add Preprocessor::LookNext method, which implements an efficient way to 'take a peek' at the next token without consuming it.

llvm-svn: 53375

llvm-svn: 53343

llvm-svn: 53334

llvm-svn: 53332

llvm-svn: 53329

llvm-svn: 53328

Constraints. These concepts are already present in the current ValueState, but
the implementation is monolothic. Making ValueState more modular opens up new
design choices for customizing the analysis engine.

In the context of the analysis engine, the "Environment" is the binding between
Expr* (expressions) and intermediate symbolic values (RValues).

llvm-svn: 53252