commit | 362441db825242200142a91bb07c4a0300b36a3e | [log] [tgz] |
---|---|---|
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 [diff] |
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