This is an archive of the discontinued LLVM Phabricator instance.

Adds a batch of C tests that have been found to cover several hundred lines of Clang/LLVM that are not covered by the unit and regression tests of the main LLVM project, nor by the test suite when run with the -O3 configuration.
Needs ReviewPublic

Authored by arindamsharma8 on May 18 2023, 3:52 AM.

Details

Reviewers
lenary
afd
Summary

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)

Event Timeline

arindamsharma8 created this revision.May 18 2023, 3:52 AM
Herald added a project: Restricted Project. · View Herald TranscriptMay 18 2023, 3:52 AM
arindamsharma8 requested review of this revision.May 18 2023, 3:52 AM
arindamsharma8 edited the summary of this revision. (Show Details)May 18 2023, 3:53 AM
arindamsharma8 added reviewers: lenary, afd.
arindamsharma8 added a subscriber: karineek.