|
The STG test suite consists of a plethora of individual test cases,
mostly written while developing STG. This commit publishes both test
inputs and expectation files. The corresponding build system files and
automation to test them will be provided at a later time.
The test are currently partitioned into `info_tests` and `diff_tests`.
The info tests ensure we have good standalone coverage of `stg` by
exercising the extraction of features of interest, such as specific
kinds of types, from ABI inputs. This works as follows:
1. compilation of source (`.c` or `.cc`) to ELF object (`.o`) files
containing DWARF debug information
2. extraction of STG type information using `stg`
3. verification that the outputs match the expectations as text
The diff tests ensure we have good coverage of the comparison, type
naming and diff reporting code in `stgdiff`, by checking ABI comparison
behaviour when extracting and comparing ABI representations from pairs
of various ABI inputs, namely:
- ELF object files containing DWARF - generated as above
- STG files - generated as above
- ELF object files containing BTF - currently generated with `pahole -J`
These input pairs are then subject to:
1. ABI comparison using `stgdiff` producing multiple output formats
2. verification that the outputs match the expectations as text
Currently the Abigail and BTF readers are primarily exercised
indirectly, via diff testing. This is likely to change.
PiperOrigin-RevId: 579870386
Change-Id: Ic8fb1e694ec0abbf7c4f78205a56121e4dc36c69
|
