719                Bool (*preciseMemExnsFn)(Int,Int)  in handle_gets_Stmt()
848                if (preciseMemExnsFn( k_lo, k_hi ))  in handle_gets_Stmt()
880                Bool (*preciseMemExnsFn)(Int,Int)  in redundant_put_removal_BB()
980       handle_gets_Stmt( env, st, preciseMemExnsFn );  in redundant_put_removal_BB()
5483                                     Bool (*preciseMemExnsFn)(Int, Int),  in dirty_helper_puts()
5515          if (preciseMemExnsFn(offset,  in dirty_helper_puts()
5530                                             Bool (*preciseMemExnsFn)(Int,Int),  in stmt_modifies_guest_state()
5540       *requiresPreciseMemExns = preciseMemExnsFn(offset, offset + size - 1);  in stmt_modifies_guest_state()
5557          preciseMemExnsFn(offset, offset + descr->nElems * size - 1);  in stmt_modifies_guest_state()
5565       return dirty_helper_puts(st->Ist.Dirty.details, preciseMemExnsFn,  in stmt_modifies_guest_state()
5578                                           Bool (*preciseMemExnsFn)(Int,Int) )  in ado_treebuild_BB()
5717       putInterval = stmt_modifies_guest_state( bb, st, preciseMemExnsFn,  in ado_treebuild_BB()
5818          Bool (*preciseMemExnsFn)(Int,Int)  in cheap_transformations()
5828       redundant_put_removal_BB ( bb, preciseMemExnsFn );  in cheap_transformations()
5996          Bool (*preciseMemExnsFn)(Int,Int),  in do_iropt_BB()
6028    bb = cheap_transformations( bb, specHelper, preciseMemExnsFn );  in do_iropt_BB()
6036          redundant_put_removal_BB ( bb, preciseMemExnsFn );  in do_iropt_BB()
6064          bb = cheap_transformations( bb, specHelper, preciseMemExnsFn );  in do_iropt_BB()
6068             bb = cheap_transformations( bb, specHelper, preciseMemExnsFn );  in do_iropt_BB()
6076          bb = cheap_transformations( bb2, specHelper, preciseMemExnsFn );  in do_iropt_BB()
6079             bb = cheap_transformations( bb, specHelper, preciseMemExnsFn );  in do_iropt_BB()