search

paulgazz / kmax

A collection of analysis tools for Kconfig and Kbuild constraints.
42 stars 21 forks source link

Continue search for config even when an arch/ dir is missing #201

Closed paulgazz closed 2 years ago

paulgazz commented 2 years ago

Currently, if the Linux version is missing an architecture, e.g., c6x, klocalizer will halt with an error. This fix updates the algorithm to check the exceptions to formula generation and continue on the search.

paulgazz commented 2 years ago

To test this:

git checkout 64ba2eb35fa076d5914e3a3e374898ca31c29e84
git show > patch.diff
make defconfig; cp .config defconfig
klocalizer -a c6x -a x86_64 -v --repair defconfig --include-mutex patch.diff
rm -rf koverage_files/; koverage -v --config 0-x86_64.config --check-patch patch.diff -o out

c6x is not available in this version of Linux, so klocalizer should issue a warning and move on to x86_64.