coverity#12093[81-94], etc. null pointer dereference

coverity seems to think that code execution can continue
after a coverity test fails, but it will effectively halt
and not trundle into the dereference of the tested-for-NULL
pointer, try a [+kill] on the fail method

Change-Id: I07c9a074b5681c367a31637c8af78d52a9c88d59
This commit is contained in:
Caolán McNamara 2014-05-09 21:23:00 +01:00
parent a784cdbd38
commit d7e7a44ccd
2 changed files with 12 additions and 0 deletions

View File

@ -12,6 +12,7 @@ $(eval $(call gb_UnpackedTarball_UnpackedTarball,cppunit))
$(eval $(call gb_UnpackedTarball_set_tarball,cppunit,$(CPPUNIT_TARBALL),,cppunit))
$(eval $(call gb_UnpackedTarball_add_patches,cppunit,\
external/cppunit/coverity.patch \
external/cppunit/windows.patch \
external/cppunit/unix.patch \
external/cppunit/wundef.patch \

11
external/cppunit/coverity.patch vendored Normal file
View File

@ -0,0 +1,11 @@
--- misc/cppunit-1.13.1/src/cppunit/Asserter.cpp
+++ misc/build/cppunit-1.13.1/src/cppunit/Asserter.cpp
@@ -13,7 +13,7 @@
fail( Message( "assertion failed", message ), sourceLine );
}
-
+// coverity[+kill]
void
Asserter::fail( const Message &message,
const SourceLine &sourceLine )