| commit | 5816ed48bc339c983b40dc493e96b97821ce7966 | [log] [tgz] |
|---|---|---|
| author | Vladimir Marko <vmarko@google.com> | Wed Nov 27 17:04:20 2013 +0000 |
| committer | Vladimir Marko <vmarko@google.com> | Tue Dec 17 18:24:13 2013 +0000 |
| tree | 1682c6d13ae274132f4e3630f9b20ab4bdb291a3 | |
| parent | 2b5eaa2b49f7489bafdadc4b4463ae27e4261817 [diff] |
Detect special methods at the end of verification. This moves special method handling to method inliner and prepares for eventual inlining of these methods. Change-Id: I51c51b940fb7bc714e33135cd61be69467861352