+ adding the author of Annobin to the email thread On 11/7/19 10:24 AM, Martin Liška wrote:
a) it does not print per function options, which can be modified with __attribute__ (or pragma):
Compiler is aware of the information (and uses it in inlining (or ICF) for instance): cl_optimization *opt1 = opts_for_fn (decl); cl_optimization *opt2 = opts_for_fn (item->decl); if (opt1 != opt2 && !cl_optimization_option_eq (opt1, opt2)) { if (dump_file && (dump_flags & TDF_DETAILS)) { fprintf (dump_file, "optimization flags difference"); cl_optimization_print_diff (dump_file, 2, opt1, opt2); } return return_false_with_msg ("optimization flags are different"); } Martin