Hello, sparse is a C code checker that reuses include files from gcc. Currently there are missing the needed dependencies (https://bugs.debian.org/906472).
Now I wonder, what is the right way to depend on gcc. For sparse it
would be enough to depend on libgcc-8-dev (I think), but as cgcc (which
is included in the sparse package) calls gcc, too, I need a dependency
on the gcc package directly (which via gcc-8 depends on libgcc-8-dev).
As gcc-7 doesn't provide the needed paths, gcc 4:7.whatever isn't enough
though.
I can imagine the following options to depend on:
a) gcc, libgcc-8-dev
b) gcc (>= 4:8~), gcc (<< 4:9)
. Both have the disadvantage that they need manual adaption when gcc
bumps it's major version.
a) also has the disadvantage that gcc might provide gcc-9 and so sparse
uses different includes than the default compiler (not sure this is bad
enough to care).
b) is bad, because gcc_4:9~prerelease12 would be good enough to make
dpkg happy, but sparse would fail anyhow.
Alternatively sparse could stop hardcoding the include path and ask gcc
on each invokation. But I don't like that much as the path hardly ever
changes and it adds some overhead to sparse.
Do you have any thoughts/recommendations?
Best regards
Uwe
signature.asc
Description: PGP signature
