This commit is contained in:
chrchr-github 2022-07-26 11:14:35 +02:00 committed by GitHub
parent 887463855b
commit 3fc276fb51
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 0 deletions

View File

@ -1460,6 +1460,13 @@ private:
" p->x = 0;\n" " p->x = 0;\n"
"}"); "}");
ASSERT_EQUALS("", errout.str()); ASSERT_EQUALS("", errout.str());
check("void f(s_t s) {\n" // #11061
" s->p = (char*)malloc(10);\n"
" free((void*)s->p);\n"
" s->p = NULL;\n"
"}\n");
ASSERT_EQUALS("", errout.str());
} }
void goto1() { void goto1() {