]> git.ipfire.org Git - thirdparty/valgrind.git/commit
Observe guards on dirty helpers in memcheck.
authorFlorian Krohm <florian@eich-krohm.de>
Thu, 19 Jul 2012 17:23:42 +0000 (17:23 +0000)
committerFlorian Krohm <florian@eich-krohm.de>
Thu, 19 Jul 2012 17:23:42 +0000 (17:23 +0000)
commitb54d735e927b67b7695668e47c57063cd667f815
tree6574359af4590fdb843a2917034398aae5defc6d
parent2d29e458d5207290eacc939abb74f989c0b1fed3
Observe guards on dirty helpers in memcheck.
This means, that any guest state and/or memory accesses of the helper (and
complaints about those) only occur if the guard expression is true at runtime.
Definedness of parameters that the helper might have is *always* checked,
as parameters are evaluated regardless of the guard expression.
New functions: expr2vbits_guarded_Load and gen_guarded_load_b.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12762
memcheck/mc_translate.c