shouldn't put restrictions in store manager.

llvm-svn: 110106

llvm-svn: 110102

Changed GRExprEngine to pass down a reference to itself when checkers are doing postanalysis. This allows the checker to gather information about the state of the engine when it has finished.
- Exposed the worklist and BlockAborted flag in GRCoreEngine
- Changed postanalysis checkers to use the new infrastructure

llvm-svn: 110095

Add -cc1 option '-unoptimized-cfg' to toggle using a CFG (for static analysis) that doesn't prune CFG edges.

llvm-svn: 110087

calls when the enclosing object had retain/release state.  Fixes <rdar://problem/8261992>.

llvm-svn: 110068

initializations now.

llvm-svn: 110063

lookups in the hashtable.

llvm-svn: 110059

the top-level object. FlatStore now can bind and retrieve element and field
regions.
PR7297 is fixed by flat store.

llvm-svn: 110020

After a lengthy design discussion, add support for "ownership attributes" for malloc/free checking.  Patch by Andrew McGregor!

llvm-svn: 109939

llvm-svn: 109893

Use a LazyCompoundVal to handle initialization with a string literal, rather than copying each character.

llvm-svn: 109734

Teach GRExprEngine::VisitLValue() about FloatingLiteral, ImaginaryLiteral, and CharacterLiteral.  Fixes an assertion failure reported in PR 7675.

llvm-svn: 109719

Augment RegionStore::BindStruct() to bind symbolicated struct values.  This fixes a false path issue reported in <rdar://problem/8243408> and also spurs another cause where the idempotent operations checker fires.

llvm-svn: 109710

llvm-svn: 109709

llvm-svn: 109708

Remove extraneous guards around the call to getConjuredSymbolVal().  These checks are already done within getConjuredSymbolVal() itself.

llvm-svn: 109707

- Allowed reporting of dead macros
- Added path walking function to search for false positives in conditional statements
- Updated some affected tests
- Added some false positive test cases

llvm-svn: 109561

Extracted out some useful common functions in IdempotentOperationChecker to their own CheckerHelpers file.

llvm-svn: 109560

Finesse 'idempotent operations' analyzer issues to include the opcode of the binary operator for clearer error reporting.  Also remove the 'Idempotent operation' prefix in messages; it's redundant since the bug type is the same.

llvm-svn: 109527

llvm-svn: 109517

The next step is to warn if a block labeled unreachable is, in fact, reachable. Somewhat related to PR810.

llvm-svn: 109487

Groundwork for C string length tracking. Currently only handles the length of constant string literals, which is not too helpful, and only calls to strlen() are checked.

llvm-svn: 109480

- Created a new class to do post-analysis
- Updated several test cases with unreachable code to expect a warning
- Added some general tests

llvm-svn: 109286

llvm-svn: 109225

llvm-svn: 109218

llvm-svn: 109211

llvm-svn: 109210

llvm-svn: 109106

engine of the new translation unit. State marshal is there but no real
work is done. End nodes are passed back.

llvm-svn: 109105

llvm-svn: 108988

llvm-svn: 108811

llvm-svn: 108804

llvm-svn: 108803

llvm-svn: 108801

llvm-svn: 108800

llvm-svn: 108670

llvm-svn: 108669

llvm-svn: 108668

llvm-svn: 108633

llvm-svn: 108621