]> git.ipfire.org Git - thirdparty/gcc.git/search
[Ada] Improve handling of SPARK_Mode in generic instances