diff THIRD_PARTY_README @ 7997:8bd61471a109

8007144: Incremental inlining mistakes some call sites for dead ones and doesn't inline them Summary: wrong detection for dead call sites. Reviewed-by: kvn
author roland
date Mon, 04 Feb 2013 11:30:37 +0100
parents 337ffef74c37
children 9a48187fef5e
line wrap: on
line diff