Skip to content

keeping simple

@vy@mastodon.social

Tag: undefined behavior

PLOS 2021 paper: How ISO-C became unusable for operating system development

October 6, 2021 vy C standard, operating systems
Read more

unfashionable C

May 21, 2021 vy C standard, computer architecture, programming languages

In computer science academia, C  along with UNIX, and PDP11s, is as unfashionable as can be: the equivalent of other 1970’s relics, like polyester leisure

Read more

Undefined behavior in C is a reading error.

May 19, 2021 vy C standard

Considering how important “undefined behavior” has become to C semantics and the ISO/IEC JTC1/SC22/WG14 Committee, the lack of any reference to it in the K&R

Read more
Kafka The Castle

undefined behavior and the purpose of C

December 31, 2018 vy C standard, programming languages

The C programming language is designed to  let programmers  work  at both low and high levels. In particular, for applications like operating system development,  cryptography, 

Read more

Three modest proposals for the C standard WG14

June 17, 2018 vy C standard, programming languages

Note: these were sent to WG14 as official proposals. See also a longer paper,  something on alias  and Torvalds remarks and Regehr’s paper.  6.12 Proposal to

Read more

Pointer alias analysis in C

June 3, 2018 vy programming languages

Perhaps there is some reason to provide a mechanism for asserting, in a particular patch of code, that the compiler is free to make optimistic

Read more

Depressing and faintly terrifying days for the C standard

May 20, 2018 vy programming languages

C STANDARD UNDEFINED BEHAVIOR VERSUS WITTGENSTEIN 1. DEPRESSING AND FAINTLY TERRIFYING Chris Lattner, the architect of the Clang/LLVM C compiler explained the effects of the

Read more

More UB madness from LLVM/Clang

March 13, 2018 vy programming languages

Via @johnregehr this further tale of  compiler “optimizations” that break correct C code without even a warning by deleting a necessary null pointer check. In

Read more

C compiler developers are hostile to C programming

July 17, 2017 vy programming languages

From the LLVM developer mailing list this remarkable exchange in which Chris Lattner of LLVM says that the compiler use of undefined behavior (UB) is

Read more

The C standard versus C and the mother of all hacks.

June 26, 2017 vy C standard, programming languages

The Kafkaesque interaction of the C standard and the main open source C compilers was concisely outlined by one of the main LLVM authors back

Read more

Posts pagination

1 2 Next Posts»
WordPress Theme: Gridbox by ThemeZee.