Klever

We need to deal with that. Otherwise we will need to wait for verification results for extra many-many hours or exclude these outstanding rules at all. Both is awful.

Fixed in cb530d5 to the master branch.

To check rules which models include rare headers one needs to explicitly list such headers in the correct order so that a C file that includes them can be compiled. For instance, for linux:mmc:sdio_func the rule specification description now looks so:

"linux:mmc:sdio_func": {
      "aliases": ["150"],
      "description": "...",
      "template": "Linux kernel modules",
      "RSG": {"models": {"linux/mmc/sdio_func.c": {
        "bug kinds": [
          "linux:mmc:sdio_func:wrong params",
          "linux:mmc:sdio_func:double claim",
          "linux:mmc:sdio_func:release without claim",
          "linux:mmc:sdio_func:unreleased at exit" 
        ],
        "headers": [
          "linux/mmc/sdio_func.h",
          "linux/mmc/host.h",
          "linux/mmc/card.h" 
        ]
      }}}
    }

BTW, I was very surprised how many headers, e.g. linux/spinlock.h, linux/gfp.h, linux/errno.h, are required for header linux/module.h that is included for all Linux kernel modules and thus those included headers are available for all models as well.

Two related issues were fixed in 510ba06 and 456d3f3.

One more fix was done in 9502193.