https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103058
--- Comment #10 from hubicka at kam dot mff.cuni.cz --- > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103058 > > --- Comment #9 from Martin Liška <marxin at gcc dot gnu.org> --- > And WPA cgraph dump tells: > > quick_sort_1.1/213 (quick_sort_1) @0x7ffff74c2550 > Type: function definition analyzed > Visibility: prevailing_def_ironly > References: > Referring: > Read from file: quicksort.fppized.o > Availability: local > Unit id: 2 > Function flags: count:19391457 (estimated locally) local > Called by: __quicksort_MOD_quick_sort/212 (1073741824 (estimated > locally),1.00 per call) quick_sort_1.1/213 (4287451 (estimated locally),0.22 > per call) quick_sort_1.1/213 (4287451 (estimated locally),0.22 per call) > Calls: quick_sort_1.1/213 (4287451 (estimated locally),0.22 per call) > quick_sort_1.1/213 (4287451 (estimated locally),0.22 per call) > interchange_sort.0/211 (6399181 (estimated locally),0.33 per call) > > So the DECL_EXTERNAL should be false, right? This is due to partitining which exports the symbol between WPA and ltrans. Still at ltrans time binds_to_currrent_def should return true because we have prevailing_def_ironly resolution info. I will write some verifier on this. Honza
