On Wed, 9 Nov 2011, Richard Guenther wrote: > On Wed, 9 Nov 2011, Richard Guenther wrote: > > > > > This fixes PR51039 - another case of mismatches with respect to > > gimple_call_cannot_inline_p and gimple_check_call_matching_types. > > The code in ipa-inline-analysis.c looks out-of-place and it doesn't > > check for a conservative setting - thus the patch removes the > > code and instead adds verification code to the gimple checker. > > > > Bootstrapped on x86_64-unknown-linux-gnu, testing in progress. > > This is what I ended up applying. > > Richard. > > 2011-11-09 Richard Guenther <rguent...@suse.de> > > PR tree-optimization/51039 > * tree-cfg.c (verify_gimple_call): Verify that > gimple_call_cannot_inline_p is returning a conservative > correct result according to gimple_check_call_matching_types.
I have reverted the tree-cfg.c pieces - they seem to break bootstrap with Ada for me (no idea how I didn't notice that when testing the patch - I'm suspecting an unreverted patch that folded all statements during gimplification). Richard.