From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.6
Path: eternal-september.org!reader02.eternal-september.org!aioe.org!8nKyDL3nVTTIdBB8axZhRA.user.46.165.242.75.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: GCC release notes, aka, Ada is still alive!
Date: Wed, 13 Oct 2021 20:59:47 +0100
Organization: Aioe.org NNTP Server
Message-ID: <lyily0g0gc.fsf@pushface.org>
References: <sk20ge$1gv5$1@gioia.aioe.org>
	<e951f1d5-2262-4c8d-85d8-e344556dcbb1n@googlegroups.com>
	<20211012213725.e8a738457d6f104f6ffbe0df@iki.fi>
	<20211012222808.89d5824ee18392056af83090@iki.fi>
	<sk71mv$doe$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: gioia.aioe.org; logging-data="62771"; posting-host="8nKyDL3nVTTIdBB8axZhRA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (darwin)
Cancel-Lock: sha1:rc7Aa0HEtLE2vFKQgre5T1T+RKo=
X-Notice: Filtered by postfilter v. 0.9.2
Xref: reader02.eternal-september.org comp.lang.ada:62988
List-Id: <comp.lang.ada>

Fernando Oleo Blanco <irvise_ml@irvise.xyz> writes:

> - General improvements in the library, SPARK and with the GCC
>   ecosystem. I think Ada has somewhat acceptable support for OpenMP,
>  which was improved in the past few years, for example. It has also
> been increasing SPARK support in the libraries.

Not sure how to work SPARK into a GCC note, since it's not part of the
GCC ecosystem?

"There's extensive support for possible static analysis of code,
e.g. via SPARK, in the form of annotations that can optionally be
compiled as runtime assertions."