使用gcc或者clang编译运行达到预期的代码是不是就算符合c语言了

水木社区手机版

主题:使用gcc或者clang编译运行达到预期的代码是不是就算符合c语言了
10楼|flw|2023-04-13 11:50:24|只看此ID
对，不能道德绑架编译器。

【在 eggcar 的大作中提到: 】
: ub的意思是，即便是gcc和clang，换一个优化等级或者将来更新版本这个行为也可能发生变化
--
FROM 27.38.197.*
11楼|milksea|2023-04-17 18:44:45|只看此ID
UB就是UB。比如对数组取小负数下标或者稍微越界一点，绝大部分情况没事，但有时就要段错误，这甚至都不关编译器的事。
【在 b0207191 的大作中提到: 】
: 就算和其他编译器不兼容
:
: 提这个问题是看见一个网页
: ...................
--
FROM 114.254.10.*
12楼|philzhang|2023-04-22 14:13:14|只看此ID
你用什么编译器就怎么写就好了，先不要考虑可移植性。可移植性往往在工程上是通过可移植的库来实现的。

【在 b0207191 的大作中提到: 】
: 就算和其他编译器不兼容
: 提这个问题是看见一个网页
: https://www.cl.cam.ac.uk/~pes20/cerberus/supplementary-material-popl2019/generated_html_popl2019/pointer_offset_from_ptr_subtraction_auto_xy.c.html
: ...................
--
FROM 115.183.166.*
13楼|fanci|2023-04-24 07:35:59|只看此ID
具体问题具体分析。就你引用的例子而言，这个行为是靠不住的。

至于什么靠得住什么靠不住，除了抠标准和测试以外，还要想想为什么要这么做。如果一个做法是“必要”的或者“合理“的，那么这种做法多半是符合标准或者编译器实现的。

【在 b0207191 (jam) 的大作中提到: 】
:  就算和其他编译器不兼容
:
:  提这个问题是看见一个网页
:  https://www.cl.cam.ac.uk/~pes20/cerberus/supplementary-material-popl2019/generated_html_popl2019/pointer_offset_from_ptr_subtraction_auto_xy.c.html
--
FROM 183.179.53.*
14楼|moudy|2023-05-13 17:05:29|只看此ID
听说过greenhills diab codewarrior tasking这些编译器么？
gcc能做到sil4也不会让那么多编译器在外面瞎晃

【在 b0207191 的大作中提到: 】
: 就算和其他编译器不兼容
: 提这个问题是看见一个网页
: https://www.cl.cam.ac.uk/~pes20/cerberus/supplementary-material-popl2019/generated_html_popl2019/pointer_offset_from_ptr_subtraction_auto_xy.c.html
: ...................
--
FROM 91.39.80.*
15楼|moudy|2023-05-13 17:09:07|只看此ID
错误信息里的violation MISRAC是啥玩意你搜一下，满足那个都不敢说是正确的代码

【在 b0207191 的大作中提到: 】
: 但是目前来看，能在gcc和clang上跑好像就算是“正确”代码了，没人去将所有编译器穷举一次来测试代码
:
: 对，正确的代码可以保证总是正确。
: ...................
--
FROM 91.39.80.*