Implement more sanity tests for Memcheck/Valgrind

tools/valgrind/memcheck/suppressions.txt

Index: tools/valgrind/memcheck/suppressions.txt
===================================================================
--- tools/valgrind/memcheck/suppressions.txt	(revision 42598)
+++ tools/valgrind/memcheck/suppressions.txt	(working copy)
@@ -459,12 +459,90 @@
 # 2. intentional unit test errors, or stuff that is somehow a false positive
 # in our own code, or stuff that is so trivial it's not worth fixing
 {
-   Memcheck sanity test (ToolsSanityTest.MemoryLeak).
+   Memcheck sanity test (memory leak).
    Memcheck:Leak
    fun:_Zna*
    fun:_ZN31ToolsSanityTest_MemoryLeak_Test8TestBodyEv
 }
 {
+   Memcheck sanity test (malloc/read left).
+   Memcheck:Addr1
+   fun:_Z29ReadValueOutOfArrayBoundsLeftPc
+   fun:_Z14MakeSomeErrorsPc*
+   fun:_ZN43ToolsSanityTest_AccessesToMallocMemory_Test8TestBodyEv
+}
+{
+   Memcheck sanity test (malloc/read right).
+   Memcheck:Addr1
+   fun:_Z30ReadValueOutOfArrayBoundsRightPc*
+   fun:_Z14MakeSomeErrorsPc*
+   fun:_ZN43ToolsSanityTest_AccessesToMallocMemory_Test8TestBodyEv
+}
+{
+   Memcheck sanity test (malloc/write left).
+   Memcheck:Addr1
+   fun:_Z30WriteValueOutOfArrayBoundsLeftPc
+   fun:_Z14MakeSomeErrorsPc*
+   fun:_ZN43ToolsSanityTest_AccessesToMallocMemory_Test8TestBodyEv
+}
+{
+   Memcheck sanity test (malloc/write right).
+   Memcheck:Addr1
+   fun:_Z31WriteValueOutOfArrayBoundsRightPc*
+   fun:_Z14MakeSomeErrorsPc*
+   fun:_ZN43ToolsSanityTest_AccessesToMallocMemory_Test8TestBodyEv
+}
+{
+   Memcheck sanity test (new/read left).
+   Memcheck:Addr1
+   fun:_Z29ReadValueOutOfArrayBoundsLeftPc
+   fun:_Z14MakeSomeErrorsPc*
+   fun:_ZN40ToolsSanityTest_AccessesToNewMemory_Test8TestBodyEv
+}
+{
+   Memcheck sanity test (new/read right).
+   Memcheck:Addr1
+   fun:_Z30ReadValueOutOfArrayBoundsRightPc*
+   fun:_Z14MakeSomeErrorsPc*
+   fun:_ZN40ToolsSanityTest_AccessesToNewMemory_Test8TestBodyEv
+}
+{
+   Memcheck sanity test (new/write left).
+   Memcheck:Addr1
+   fun:_Z30WriteValueOutOfArrayBoundsLeftPc
+   fun:_Z14MakeSomeErrorsPc*
+   fun:_ZN40ToolsSanityTest_AccessesToNewMemory_Test8TestBodyEv
+}
+{
+   Memcheck sanity test (new/write right).
+   Memcheck:Addr1
+   fun:_Z31WriteValueOutOfArrayBoundsRightPc*
+   fun:_Z14MakeSomeErrorsPc*
+   fun:_ZN40ToolsSanityTest_AccessesToNewMemory_Test8TestBodyEv
+}
+{
+   Memcheck sanity test (write after free).
+   Memcheck:Addr1
+   fun:_ZN43ToolsSanityTest_AccessesToMallocMemory_Test8TestBodyEv
+}
+{
+   Memcheck sanity test (write after delete).
+   Memcheck:Addr1
+   fun:_ZN40ToolsSanityTest_AccessesToNewMemory_Test8TestBodyEv
+}
+{
+   Memcheck sanity test (array deleted without []).
+   Memcheck:Free
+   ...
+   fun:_ZN46ToolsSanityTest_ArrayDeletedWithoutBraces_Test8TestBodyEv
+}
+{
+   Memcheck sanity test (single element deleted with []).
+   Memcheck:Free
+   ...
+   fun:_ZN51ToolsSanityTest_SingleElementDeletedWithBraces_Test8TestBodyEv
+}
+{
    logging::InitLogging never frees filename. It would be hard to free properly.
    Memcheck:Leak
    ...