Enhance dead store checker to not flag preincrements to dead variables where the preincrement is a subexpression, e.g. foo(++x);  This can cause false negatives, but will remove a whole class of false positives.

llvm-svn: 57554

Expand checking to include functions, not just methods.

llvm-svn: 56938

llvm-svn: 56915

llvm-svn: 56707

llvm-svn: 56706

Fixes <rdar://problem/6248086>

llvm-svn: 56645

llvm-svn: 56548

llvm-svn: 56493

llvm-svn: 56369

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

llvm-svn: 56332

llvm-svn: 56295

llvm-svn: 56294

llvm-svn: 56261

  if we know that 'len != 0' and know that 'i == 0' then we know that
  'i < len' must evaluate to true and cannot evaluate to false

llvm-svn: 56260

llvm-svn: 55801

- warn about nonnull being applied to functions with no pointer arguments
- continue processing argument list in the attribute when we encounter a non-pointer parameter being marked as nonnull
- when no argument list is specified, only mark pointers as nonnull.  This fixes PR 2732 and radar 6188814.

llvm-svn: 55610

llvm-svn: 54834

llvm-svn: 54717

llvm-svn: 54436

 - Like EXTENSION but always generates a warning (even without
   -pedantic).
 - Updated ptr -> int, int -> ptr, and incompatible cast warnings to
   be EXTWARN.
 - Other EXTENSION level diagnostics should be audited for upgrade.
 - Updated several test cases to fix code which produced unanticipated
   warnings.

llvm-svn: 54335

Enhanced path-sensitive return-of-stack-address check to print out the name of the variable whose address was returned.

llvm-svn: 54253

llvm-svn: 54051

This fixes PR 2573: http://llvm.org/bugs/show_bug.cgi?id=2573

llvm-svn: 54009

This fixes: http://llvm.org/bugs/show_bug.cgi?id=2593

llvm-svn: 53993

This fixes PR 2592: http://llvm.org/bugs/show_bug.cgi?id=2592

llvm-svn: 53987

llvm-svn: 53984

llvm-svn: 53983

llvm-svn: 53966

llvm-svn: 53960

Refine the error message of unused ivars.
Added test case.

llvm-svn: 53957

This implements <rdar://problem/6069935>

llvm-svn: 53891

llvm-svn: 53770

llvm-svn: 53647

llvm-svn: 53628

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

llvm-svn: 53584

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

'&&' commands together so that the test status reflects the results of all the commands, otherwise the test status will be the result of only the last command.

llvm-svn: 53135

'&&' clang commands together so that the test status reflects the results of all three clang executions.

llvm-svn: 53132