Fixed #5597 and added abort() support to stdcfg.
This commit is contained in:
parent
49b25b05d9
commit
e00f50b850
|
@ -1,6 +1,7 @@
|
||||||
<?xml version="1.0"?>
|
<?xml version="1.0"?>
|
||||||
<def>
|
<def>
|
||||||
<function name="exit"><noreturn>true</noreturn></function>
|
<function name="exit"><noreturn>true</noreturn></function>
|
||||||
|
<function name="abort"><noreturn>true</noreturn></function>
|
||||||
<memory>
|
<memory>
|
||||||
<dealloc>free</dealloc>
|
<dealloc>free</dealloc>
|
||||||
|
|
||||||
|
|
|
@ -1379,7 +1379,7 @@ private:
|
||||||
ASSERT_EQUALS("", errout.str());
|
ASSERT_EQUALS("", errout.str());
|
||||||
|
|
||||||
check(code, true);
|
check(code, true);
|
||||||
ASSERT_EQUALS("[test.cpp:5] -> [test.cpp:2]: (warning, inconclusive) Possible null pointer dereference: p - otherwise it is redundant to check it against null.\n", errout.str());
|
ASSERT_EQUALS("", errout.str());
|
||||||
}
|
}
|
||||||
|
|
||||||
check("void foo(char *p) {\n"
|
check("void foo(char *p) {\n"
|
||||||
|
|
Loading…
Reference in New Issue