// S : tags   c min kleetodo $TAGS
// S : expect --result $RESULT
// S : cc     -o test.bc  $CC_OPT $file
// S : verify  $V_OPT test.bc

// N : V_OPT             : TAGS  : RESULT
// V :                   : error : error --location-comment ERR_undef
// V : -o ignore:control :       : valid

#include <assert.h>

int main() {
    _Bool b;
    int v = b ? 1 : 2; /* ERR_undef */
    assert( v == 2 );
}