Searched refs:error_matches_suppression (Results 1 – 7 of 7) sorted by relevance
45 Bool HG_(error_matches_suppression) ( const Error* err, const Supp* su );
1355 Bool HG_(error_matches_suppression) ( const Error* err, const Supp* su ) in HG_() argument
5783 HG_(error_matches_suppression), in hg_pre_clo_init()
329 Bool (*error_matches_suppression)(const Error* err, const Supp* su),
515 Bool MC_(error_matches_suppression) ( const Error* err, const Supp* su );
1393 Bool MC_(error_matches_suppression) ( const Error* err, const Supp* su ) in MC_() argument
7742 MC_(error_matches_suppression), in mc_pre_clo_init()