Correctly interpret boolean literals in execute()

[tau-dev]

This fixes some false positives, e.g. in the following code

void f(void) {
    char *c;
    char x;
    while (true) {
        c = &x;
        break;
    }
    ++c;
}

which originally resulted in

$ ./cppcheck --enable=warning x.c
Checking x.c ...
x.c:7:7: warning: Uninitialized variable: c [uninitvar]
    ++c;
      ^
x.c:3:12: note: Assuming condition is false
    while (true) {
           ^
x.c:7:7: note: Uninitialized variable: c
    ++c;
      ^

For some reason, I could not get the false positive to fire in a checkUninitVar testcase though.

[chrchr-github]

Thanks for your contribution.
The warning appears only in C mode, so you need to pass "test.c" as the file name.

valueFlowUninit("void f(void) {\n"
                "    char* c;\n"
                "    char x;\n"
                "    while (true) {\n"
                "        c = &x;\n"
                "        break;\n"
                "    }\n"
                "    ++c;\n"
                "}\n", "test.c");

[tau-dev]

That did the trick