寻求可验证C风格运算符优先级与结合性的Test suite相关建议

• 优先复用成熟C编译器的测试用例子集
  GCC测试集中gcc/testsuite/gcc.c-torture/execute/路径下包含大量纯表达式运算的测试用例，你可以过滤掉依赖标准库、自定义类型的复杂用例，只保留算术、关系运算符组合的内容。这部分用例已经经过几十年的验证，覆盖了所有标准规定的优先级、结合性边界场景，包括多运算符嵌套、同优先级连续运算、正负号和前后缀自增自减组合等易出错场景。
• 直接提取C标准中的官方示例
  C11/C17标准第6.5节（表达式章节）提供了大量带明确求值结果的示例，全部符合标准规定的优先级与结合性规则，比如a < b == c、*p++、a = b = c这类典型验证场景，不需要额外校验预期结果的正确性。
• 自行构造用例可优先覆盖以下高风险场景
  如果你要补充自定义用例，优先覆盖以下容易出现实现漏洞的场景：
  • 后缀运算符（[]、()、后缀++/--）和单目运算符（前缀++/--、负号、解引用*）的优先级冲突验证
  • 移位运算符与关系运算符的优先级差异验证（比如a << 2 > 10的求值顺序）
  • 赋值运算符的右结合性验证
  • 条件运算符的优先级与右结合性验证（比如a ? b : c ? d : e的求值顺序）
  • 逗号运算符与赋值运算符的优先级冲突验证
• 可复用静态分析工具的表达式测试用例
  多数开源C静态分析工具的单元测试模块都有专门的表达式优先级测试集，全部是无依赖的纯表达式用例，你可以用任意合规的C编译器编译运行这些用例得到标准答案，快速适配到你的测试框架中。

内容的提问来源于stack exchange，提问作者Matthew Burke