root/usr/src/tools/smatch/src/validation/binary-constant.c 
extern int x;

int x = 0b11;

/*
 * check-name: binary constant
 */