ACATS tests that fail valgrind check

Duncan Sands duncan.sands@math.u-psud.fr
Wed Jan 12 10:54:00 GMT 2005


I ran all ACATS tests under valgrind (http://valgrind.kde.org/).  Valgrind detected problems with 63 tests.
The tests were compiled using gcc built from CVS date 2005-01-07.  I turned on debugging (-g) in order to
get better backtraces from valgrind.

In the following table, P/F means the ACATS test Passed/Failed.  V means valgrind
detected wrong code.

Summary
-------

F 	c32001e
PV	c37402a
FV	c43214c
PV	c460010
F 	c52011a
F 	c64105b
PV	c64106a
PV	c761007
PV	c761010
PV	c940013
PV	c95065a
PV	c95065b
PV	c95065c
PV	c95065d
PV	c95065e
PV	c95065f
PV	c95085a
PV	c95085b
PV	c95085c
PV	c95085d
PV	c95085e
PV	c95085f
PV	c95085g
PV	c95086a
F 	c95086b
PV	c95087a
FV	c953001
F 	c953003
PV	c954010
PV	c954011
PV	c954012
PV	c954013
PV	c954014
PV	c954015
PV	c954016
PV	c954018
PV	c954019
PV	c954020
PV	c954021
PV	c954023
PV	c954024
PV	c954a01
PV	c954a02
PV	c954a03
PV	c960004
PV	c97204b
PV	c97304b
PV	c974001
PV	c974002
PV	c974011
FV	c974013
F 	c980002
PV	c9a009a
PV	c9a009c
PV	c9a009h
PV	c9a010a
PV	cb4009a
F 	cc1221d
PV	cc3019c2m
F 	cc50a01
F 	cc50a02
F 	cd10002
F 	cd2b11a
F 	cd2b11b
F 	cdd2a02
PV	ce3704d
PV	ce3705d
PV	ce3705e
PV	ce3804g
PV	ce3804h
PV	cxa4009
PV	cxa4020
PV	cxa5012
PV	cxa9001
PV	cxa9002
PV	cxb4003

Failure modes
-------------

(1) "Conditional jump or move depends on uninitialised value(s)"

c43214c
c460010
c761007
c761010
c940013
c95065a
c95065b
c95065c
c95065d
c95065e
c95065f
c95085a
c95085b
c95085c
c95085d
c95085e
c95085f
c95085g
c95086a
c954010
c954011
c954012
c954013
c954014
c954015
c954016
c954018
c954019
c954020
c954021
c954023
c954024
c954a01
c954a02
c954a03
c960004
c97204b
c97304b
c974001
c974002
c974011
c974013
c9a009a
c9a009c
c9a009h
c9a010a
cb4009a
ce3704d
ce3705d
ce3705e
ce3804g
ce3804h
cxa5012

(2) "Source and destination overlap in memcpy"

c64106a
c95087a
cxa4009
cxa4020

(3) "Invalid read"
Read from a bogus address.

c37402a
c953001
cxb4003

(4) "Use of uninitialised value"

c37402a
c460010
cc3019c2m

(5) "Syscall param write(buf) points to uninitialised"
Uninitialized data was passed to the syscall.

cxa9001
cxa9002

(6) "Address ... after a block ... alloc'd"
Seems to mean that part of a new block of allocated memory was already allocated.

cxb4003

(7) "Invalid free"
Double free etc.

c37402a

(8) "Invalid write"
Wrote to a bogus address.
 
c37402a


Comments
--------

Several ACATS failures are compile failures, making it impossible to run the program under valgrind.
These are marked "F ", the same as a program which valgrind thought was ok, but failed the ACATS test.

Some tests which pass the ACATS test when not run under valgrind, fail when run under valgrind.  Correct
programs should run the same whether run under the control of valgrind or not.


All the best,

Duncan.



More information about the Gcc mailing list