From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.ada
Subject: Re: State of the compiler market
Date: Fri, 24 Feb 2017 01:32:21 -0800
Organization: A noiseless patient Spider
Message-ID: <874lzkkk7u.fsf@nightsong.com>
References: <a319aa93-f896-48ae-9b87-489b623ab75f@googlegroups.com>
	<o8n82o$fh3$1@dont-email.me> <pYSrA.264657$bt2.243460@fx40.am4>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="64f53172dd8fb12a59d7acda0aee690b";
	logging-data="7814"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18bz/dEqnStcu3QntnmoXSO"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)
Cancel-Lock: sha1:EJjFnmGU0Y2nC/zDA0FcOc3VeeE=
	sha1:inHBadpIkMT34tgrEgF79YEhv0I=
Xref: news.eternal-september.org comp.lang.ada:33395
Date: 2017-02-24T01:32:21-08:00
List-Id: <comp.lang.ada>

Per Sandberg <per.s.sandberg@bahnhof.se> writes:
> Could agree on that but a fair question is:
> How many real compiler-vendors are there fo C and C++?

Gcc, Clang, icc, Microsoft, I guess that's all the current C++ that I
can think of though there are probably a few more.  "Current" for now
means the compiler supports C++14 or comes pretty close.

There's plenty of C compilers around, especially in the embedded world.
CompCert (compcert.inria.fr) has a formally verified code generator,
which has never been done for Ada.