#wg14 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #wg14, aggregated by home.social.
-
To make C code work as written on ARM64, I had to disable inlining for two key functions in gcc.
#gcc #wg14 #clanguage #relaxedmemory #arm64 -
To make C code work as written on ARM64, I had to disable inlining for two key functions in gcc.
#gcc #wg14 #clanguage #relaxedmemory #arm64 -
The horror of the C-standard, briefly noted.
https://www.yodaiken.com/2017/06/26/the-c-standard-versus-c-and-the-mother-of-all-hacks/
#wg14 #Cstandard #clanguage -
The horror of the C-standard, briefly noted.
https://www.yodaiken.com/2017/06/26/the-c-standard-versus-c-and-the-mother-of-all-hacks/
#wg14 #Cstandard #clanguage -
From the Comp-Cert release notes - sanity in C programming. Someone call ISO and complain.
"Constant propagation: optimize "known integer or undefined" results. For example, &x == &x, which is either 1 or undefined, is now replaced by 1"
-
From the Comp-Cert release notes - sanity in C programming. Someone call ISO and complain.
"Constant propagation: optimize "known integer or undefined" results. For example, &x == &x, which is either 1 or undefined, is now replaced by 1"
-
The C11 specification from #wg14 is so dreadful, so full of dumb ideas badly explained, as to shock the conscience
#computerscience #programming #Clanguage #c11 #wg14 -
The C11 specification from #wg14 is so dreadful, so full of dumb ideas badly explained, as to shock the conscience
#computerscience #programming #Clanguage #c11 #wg14 -
It turns out that sometime ago #gcc has added the #clang attribute #may_alias to C (and C++). After breaking C semantics, despite clear objections from Dennis Ritchie, to enable unquantified and feeble "optimizations" based on aliasing, the compiler bosses have had to smuggle back a version. Looks like these changes went into some of libc about a year ago.
#wg14 #Cstandard -
It turns out that sometime ago #gcc has added the #clang attribute #may_alias to C (and C++). After breaking C semantics, despite clear objections from Dennis Ritchie, to enable unquantified and feeble "optimizations" based on aliasing, the compiler bosses have had to smuggle back a version. Looks like these changes went into some of libc about a year ago.
#wg14 #Cstandard -
Meeting 71 of WG14 (the ISO C committee) is now complete, and I've written a blogpost with an overview of the proposals that were highlights for me: https://www.ethernull.org/blog_posts/2024_10.1_wg14.html
With thanks to @AaronBallman @erisceleste @thephd for writing the proposals I wrote about!
Obviously there were plenty of great papers, these were just a few I particularly liked. C23 is really nice, and I think C2y is already shaping up to be something quite special. :)
-
Meeting 71 of WG14 (the ISO C committee) is now complete, and I've written a blogpost with an overview of the proposals that were highlights for me: https://www.ethernull.org/blog_posts/2024_10.1_wg14.html
With thanks to @AaronBallman @erisceleste @thephd for writing the proposals I wrote about!
Obviously there were plenty of great papers, these were just a few I particularly liked. C23 is really nice, and I think C2y is already shaping up to be something quite special. :)
-
I wonder if anyone has seriously thought about adding some kind of namespacing to the C preprocessor.
for example, it would be nice if you could say
#namespace FOO
#include "foo.h"
#endnamespaceand then all the preprocessor defines from foo.h are brought into your file with names like FOO###BOOL
-
I wonder if anyone has seriously thought about adding some kind of namespacing to the C preprocessor.
for example, it would be nice if you could say
#namespace FOO
#include "foo.h"
#endnamespaceand then all the preprocessor defines from foo.h are brought into your file with names like FOO###BOOL
-
For example in KandRC, it's simple to check if two arrays overlap
if(&a[n] < b || &b[m] < a){ all good}But in ISO C, there is no way do do this - well, there is an optional cast to a number that may work.
The reason we give up this expressive capability is vague and not backed up by any numbers.
#isoc #wg14 -
For example in KandRC, it's simple to check if two arrays overlap
if(&a[n] < b || &b[m] < a){ all good}But in ISO C, there is no way do do this - well, there is an optional cast to a number that may work.
The reason we give up this expressive capability is vague and not backed up by any numbers.
#isoc #wg14 -
A proposal for C's ISO WG14 that the author, Eskil Steenberg, considers dead on arrival due to the working group wanting to take C in another direction.
-
A proposal for C's ISO WG14 that the author, Eskil Steenberg, considers dead on arrival due to the working group wanting to take C in another direction.
-
CW: C Programming
The #CprogrammingLanguage has been deeply damaged by the #WG14 Standards Committee and the two free compiler projects. https://www.yodaiken.com/2018/05/20/depressing-and-faintly-terrifying-days-for-the-c-standard/
-
@emeryberger my conclusion after a year on #WG14 was that #optimization and FAANG cannot live together in peace. #Cprogramming
-
@emeryberger my conclusion after a year on #WG14 was that #optimization and FAANG cannot live together in peace. #Cprogramming