alpha.core.BoolAssignment checker doesn't seem to work

Hello all,

I am using the following command:

scan-build -enable-checker alpha.core.BooleanAssignment gcc -c tBooleanAssignment.c

And the contents of the file tBooleanAssignment.c are

#include <stdbool.h>

int main()

bool a = 12;

I expect this to be reported as a bug but it’s not. Is this a known issue or am I missing something.