[Daca-general] undertaker and DACA
geissert at debian.org
Fri Jan 28 08:34:38 UTC 2011
On Thursday 27 January 2011 15:38:14 Christoph Egger wrote:
> The undertaker can also be run without configuration model and will
> find logically dead code then in cases like
> #if A
> #if A
> // a
> // !a
Could be interesting to run it on the whole Debian archive then.
> There needs to be a transfoprmation program parsing the non-code
> model and generating the model files. This is currently only implemented
> for the new kconfig.
Do you know if there is any plan to add support for others? which ones?
> >  http://sourceforge.net/apps/trac/cppcheck/ticket/1467
> However there's no support for #define especially conditional
> #define like the one in this bug report.
That example is interesting because it represents two cases:
1) When checking a clean source code tree it means there is dead code because
!BAR can never be true.
2) However, that kind of code can be seen in the wild in './configure'd source
code. Since the configure script generates a default configuration via macro
definitions then it is possible there will be "dead" code.
Since the undertaker seems to operate based only on preprocessor directives,
it should probably fit in case 1), where it is expected to be run on a clean
source code tree. If that's so, adding support for #defines should probably be
a good idea.
Raphael Geissert - Debian Developer
www.debian.org - get.debian.net
More information about the Daca-general