| commit | a496d169d392dfb44c0bde4708247ab775d44b61 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Sat Oct 18 03:49:51 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Sat Oct 18 03:49:51 2008 +0000 |
| tree | eaf622786b02d6dc0bb6050f5b09ab01d59e0cb6 | |
| parent | 5c456fe4d354dab9e8a1309aefe828ea7b6d6f26 [diff] |
retain/release checker: Check if a tracked value escapes if we also try binding it to the store and the store doesn't support that binding (i.e., it cannot track it). This has the nice feature that the checker will automatically get more powerful if we use a more powerful store model. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@57755 91177308-0d34-0410-b5e6-96231b3b80d8