commit 362441db825242200142a91bb07c4a0300b36a3e
author philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> Mon Jul 22 22:00:13 2013 +0000
committer philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> Mon Jul 22 22:00:13 2013 +0000
tree edada91944ed7ae03024797f13a79ecb26b7c127
parent 0de8fc5a8046f1860649d6f9989f3274c7386af2

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