>> So, getter/setter, flag or modify the module in the plugin? :-) > > Modifying module in plugin is my first preference. OK. Note that there is a lto_module_get_target_triple but not a setter. Can I just add one? > - > Devang Cheers, -- Rafael Ávila de Espíndola