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

llvm-svn: 53466

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

llvm-svn: 53424

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

linked from anywhere. It will be linked when content is filled in.

Page by Csaba Hruska!

llvm-svn: 53392

llvm-svn: 53391

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: 53373

llvm-svn: 53343

llvm-svn: 53339

llvm-svn: 53335

llvm-svn: 53334

llvm-svn: 53332

llvm-svn: 53329

llvm-svn: 53328

llvm-svn: 53258

llvm-svn: 53257

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

llvm-svn: 53250

llvm-svn: 53248

llvm-svn: 53238

llvm-svn: 53235

llvm-svn: 53234

llvm-svn: 53233

llvm-svn: 53222

llvm-svn: 53221

llvm-svn: 53219