llvm-svn: 53589

llvm-svn: 53588

Provide an "Analysis Scope" for Analyses so checks can either be run on code declarations (bodies) or Objective-C @implementation blocks.

llvm-svn: 53584

llvm-svn: 53578

llvm-svn: 53577

llvm-svn: 53576

clang.cpp now #include these definitions to create the command line options, and
AnalysisConsumer #includes this file to generate the switch statement to create
actions.

Renamed -check-objc-methodsigs to -warn-objc-methodsigs.

The "missing -dealloc" check is now optional: -warn-objc-missing-dealloc

llvm-svn: 53575

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

llvm-svn: 53550

llvm-svn: 53524

llvm-svn: 53522

Simplify the parser by removing Parser::ParseIdentifierStatement.

llvm-svn: 53520

llvm-svn: 53519

llvm-svn: 53518

Casts from pointers remain a problem. :)

llvm-svn: 53501

llvm-svn: 53500

code.  Switch to Eli's getIntWidth method.

llvm-svn: 53499

Updated latest checker build.  This build includes the new check for type-compatibility of the return types of ObjC methods.

llvm-svn: 53496

llvm-svn: 53493

llvm-svn: 53492

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

llvm-svn: 53490

llvm-svn: 53488

llvm-svn: 53483

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