[Ada] Improve handling of SPARK_Mode in generic instances
[gcc.git] / libcc1 / libcp1plugin.sym
1 plugin_init
2 plugin_is_GPL_compatible