Created attachment 102889 [details] proposed patch It should be possible to pass 'const IRExpr *' as an argument to matchIRExpr() in VEX. Neither 'pattern' or 'expr' are modified in any way. See the attached patch which builds cleanly on Linux and Solaris.
So the gist of my changes is really just: - Bool matchIRExpr ( MatchInfo* mi, IRExpr* p, IRExpr* e ); + Bool matchIRExpr ( MatchInfo* mi, const IRExpr* p, const IRExpr* e );
Fixed in Valgrind r16191 (NEWS) and VEX r3288.