tree 6574359af4590fdb843a2917034398aae5defc6d
parent 894eaebae281d2efe1568e2a9893f129d27b74e7
author florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1342718622 +0000
committer florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1342718622 +0000

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 a5019735-40e9-0310-863c-91ae7b9d1cf9