Re: [Tinycc-devel] C standards committee

[JeanHeyd Meneide]

Hi Detlef!

     Thanks for sending your suggestions and revisions for the C Standard. All of them got in and so should appear in C23. :D

     It's good that someone is tracking featuresets over time and writing suites to test for them. Hopefully this will help encourage folks to increase conformance and featuresets across compilers.

     For features provided into the standard, some things will be more work than others, but the hope is to provide things that take pretty widespread existing practice and give it a standards coat of paint. In particular, asm labels, statement expressions, and more shouldn't require much work in compilers like TCC since they already have them. I'm hoping we won't be doing many other additions far beyond; quite frankly, there's so much existing practice that it'll probably be a decade or so before we have to start inventing stuff out of thin air.

Sincerely,

JeanHeyd

On Thu, Jan 26, 2023 at 6:06 PM Detlef Riekenberg <wine.dev@web.de> wrote:

Hi JeanHeyd

I'm tracking c23 and we already exchanged some mails last autum.
There are also bug reports for the open issues i send to you.


tcc status, without additional testing
( see http://www.github.com/winspool/stdtests )
c99: complex missing (but that's allowed since c11 with the define)
c99: _Pragma keyword missing (#pragma works)
c11: unicode strings missing: u8, u and U prefix
c11: threads.h: does thread/sync functions need compiler support?
c11: stdatomic.h: needs some work
c11: _Thread_local: missing
c17: not looked at
c23: __has_include: implemented
c23: _Static_assert without comment: supported
c23: #warning: implemented


A lot of things in the C standard are not checked in our testsuite.


Fun fact: The c23 proposal for '__has_include' mentioned,
that tcc supports '__has_include', but at that time,
only the keyword was detected, but ignored :-)


Autoconf feature checks for c11 where already on this list.
Last missing step used by Autoconf for enable c11 with tcc
are the u8 strings/literals.


Primary advantage for using tcc is compilation speed,
so every fancy feature added to the C standard is probably bad for tcc.


btw, i'm looking at / following:
* OpenWatcom-v2
* Autoconf
* csmith ( see also: https://www.github.com/winspool/csmith.sh )
* qbe
* zig ( for 'zig cc' mode )
* some other projects

--
bye bye ... Detlef

_______________________________________________
Tinycc-devel mailing list
Tinycc-devel@nongnu.org
https://lists.nongnu.org/mailman/listinfo/tinycc-devel