rjmccall wrote:

I certainly understand that "strict mode" is a model that works well in other 
languages — we also use this model in Swift — but I don't think it makes any 
sense to introduce it as a global mode in C, because it's simply too different 
from the normal semantics of the language. 

Having a `__strict` specifier is much more reasonable. It is essentially a 
"strong typedef", and you might consider looking up existing WG14/WG21 papers 
on that.

You linked me to this post promising a detailed discussion of the model, but I 
can't quite piece out what overflow model you're actually proposing for the 
compliant mode. :)

https://github.com/llvm/llvm-project/pull/148914
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to