llvm-svn: 56642

llvm-svn: 56640

llvm-svn: 56639

llvm-svn: 56638

 - This really needs to be automated and configurable.

llvm-svn: 56635

Fixes: <rdar://problem/6248119> @finally doesn't introduce a new scope

llvm-svn: 56629

s/ParamAttr/Attribute/g
s/PAList/AttrList/g
s/FnAttributeWithIndex/AttributeWithIndex/g
s/FnAttr/Attribute/g

This sets the stage 
- to implement function notes as function attributes and 
- to distinguish between function attributes and return value attributes.

llvm-svn: 56623

Documentation and testing are pending.

llvm-svn: 56611

Downgrade incompatible block pointer error to a warning (to be consistent with incompatible pointer warnings in general).

llvm-svn: 56595

llvm-svn: 56590

This fixes <rdar://problem/6240616> clang: Assertion failed when using typedef and Blocks.

llvm-svn: 56554

llvm-svn: 56547

Also, "simple" getter synthesis no longer uses temporary AST objects.

llvm-svn: 56544

 - Add CodeGenFunction::{EmitReturnOfRValue, EmitIvarOffset}
 - Factor EmitLValueForIvar out of EmitObjCIvarRefLValue.

No non-error functionality change (some unsupported errors are
degraded to asserts for the time being).

llvm-svn: 56543

implementing property access.

llvm-svn: 56542

llvm-svn: 56538

Rename to match changes done on llvm side.

llvm-svn: 56537

 - readonly and readwrite are mutually exclusive.
 - assign, copy, and retain are mutually exclusive.
 - copy and retain are invalid on non-object types.
 - Warn about using default 'assign' property on object types
   (attempting to follow gcc behavior).

llvm-svn: 56507

llvm-svn: 56503

  - PR2824

llvm-svn: 56491

for type.
  - PR2817

llvm-svn: 56482

llvm-svn: 56440

llvm-svn: 56438

llvm-svn: 56433

llvm-svn: 56405

llvm-svn: 56403

llvm-svn: 56402

llvm-svn: 56401

Added experimental "intelligent-sizing" of HTML message bubbles based on the contents of the message.

llvm-svn: 56400

llvm-svn: 56394

Changed casing of many bug names.  The convention will be to have bug names (mostly) lower cased, and categories use some capitalization.

llvm-svn: 56385

GRExprEngine:
  Use PostStore in EvalStore.
  Use a second version of EvalStore in EvalBinaryOperator to associate the store with the expression on the LHS.

llvm-svn: 56383

Bug fix: for the base transfer function logic for casts, handle const casts as just propagating the value.

llvm-svn: 56368

For checking if a symbol >= value, we need to check if symbol == value || symbol
> value. When checking symbol > value and we know that symbol != value, the path
is infeasible only if value == maximum integer.

For checking if a symbol <= value, we need to check if symbol == value || symbol
< value. When checking symbol < value and we know that symbol != value, the path
is infeasible only if value == minimum integer.

Updated test case exercising this logic: we only prune paths if the values are
unsigned.

llvm-svn: 56354

arbitrary expr, not just a assign expr.  The grammar comment
was right, the code was just wrong.

llvm-svn: 56353

'symbol operator-reverse int'. This patch is a combination of code from
Zhongxing Xu and myself (Zhongxing noticed this bug for the cases of
relational operators).

llvm-svn: 56351

llvm-svn: 56334

llvm-svn: 56327

llvm-svn: 56319

Implement second part of PR 2600: NSError** parameter may be null, and should be checked before being dereferenced.

llvm-svn: 56318