tree edada91944ed7ae03024797f13a79ecb26b7c127
parent 0de8fc5a8046f1860649d6f9989f3274c7386af2
author philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1374530413 +0000
committer philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1374530413 +0000

fix incorrect lineno in supp error msgs+ -v give filename+lineno of used supp. 

If a suppression file contains an error, the lineno reported could be wrong.
Also, give filename and lineno of the used suppressions in -v debugging output.

The fix consists in ensuring that tool specific read_extra function gets
the Int* lineno pointer, together with other VG_(get_line) parameters.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13469 a5019735-40e9-0310-863c-91ae7b9d1cf9