It would be nice if they incorporated some suggestions from the Cerberus project to make it clearer what is defined and undefined behavior.
>N2012 2016/03/10 Sewell, Clarifying the C Memory Object Model
>N2013 2016/03/10 Sewell, C Memory Object and Value Semantics: The Space of de facto and ISO Standards
>N2014 2016/03/10 Sewell, What is C in Practice? (Cerberus Survey v2): Analysis of Response
>N2015 2016/03/10 Sewell, What is C in practice? (Cerberus survey v2): Analysis of Responses - with Comments