gap-system / gap / 9327

4%

Build Type

push

travis-ci

Committed by fingolfin

Commit Message

kernel: move CopyBits and some related code to new header bits_intern.h

Partial motivation: we should not be using ALWAYS_INLINE in header files, as
that makes it harder to install these headers properly as part of `make
install`, because the definition of ALWAYS_INLINE depends on the compiler, and
for code linking against GAP, this might be different than what it was for the
compiler used to compile GAP itself.

But in this case, we can't quite avoid it, as we want to share this code
between multiple C files. So as a compromise, we move the code into a new
"internal" header. The plan then is to eventually stop including "config.h"
from any header files. Then change `bits_intern.h` (and possibly other
"internal" headers) to verify "config.h" was included before them. Then
finally, include config.h from all (?) .c and .cc files, as the last header
(well, except for `bits_intern.h`, which would come after `config.h`)

Run Details

60 of 72 new or added lines in 1 file covered. (83.33%)

7 existing lines in 3 files now uncovered.

288895 of 339611 relevant lines covered (85.07%)

21673193.34 hits per line