|
From: Florian K. <fl...@ei...> - 2013-08-15 17:34:49
|
Hej, attached patch introduces two new IRExpr kinds: Iex_VECRET and Iex_BBPTR and eliminates IRExprP__VECRET and IRExprP__BBPTR. The rationale is that we want to avoid unexpected segfaults caused by passing IRExprP__(VECRET|BBPTR) to functions that cannot handle them. As we already have a special kind of IRExpr which is only valid in a specific context, namely Iex_Binder, it seems easiest to handle new special IRExprs the same way and piggy-back on it. The patch should fix the problem reported by Maynard Johnson in "Current upstream Valgrind gets SIGSEGV running java". Regtested on x86-64 with no new failures. Florian |