HomePhabricator

[test-suite] Unit tests to improve code coverage

Authored by afd on Feb 19 2021, 1:01 PM.

Description

[test-suite] Unit tests to improve code coverage

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.

The tests were originally generated using Csmith, and were then reduced
using C-Reduce. They have been checked for undefined behaviour-freedom
using Frama-C and CompCert, and manually checked to eliminate
implementation-defined behaviour.

Most of the new coverage achieved by these tests is in:

clang/lib/Analysis/CFG.cpp

Reviewed By: lenary

Differential Revision: https://reviews.llvm.org/D88931

Change-Id: Iee2a5de679ce343f1ec1d1f0ac5d8a5a177131e2

Details

Committed
lenaryFeb 19 2021, 1:01 PM
Reviewer
lenary
Differential Revision
D88931: [test-suite] Unit tests to improve code coverage
Parents
rT0e6fde52a15c: [test-suite] SPEC2017 CPU ROMS floating point tests.
Branches
Unknown
Tags
Unknown