The tests were originally generated using our fuzzer, and were then reduced
using C-Reduce. These test have been checked for undefined behaviour-freedom
using Frama-C and code sanitisers, manually checked to eliminate
implementation-defined behaviour.
Most of the new coverage achieved by these 8 C code tests is in:
llvm-project/clang/lib/AST (2 testcases)
llvm-project/clang/lib/Sema (2 testcase)
llvm-project/llvm/lib/Analysis (1 testcase)
llvm-project/llvm/lib/CodeGen (4 testcases)
llvm-project/llvm/lib/Transforms(1 testcase)