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
5847 HG_(error_matches_suppression), in hg_pre_clo_init()
332 Bool (*error_matches_suppression)(const Error* err, const Supp* su),
529 Bool MC_(error_matches_suppression) ( const Error* err, const Supp* su );
1438 Bool MC_(error_matches_suppression) ( const Error* err, const Supp* su ) in MC_() argument
8181 MC_(error_matches_suppression), in mc_pre_clo_init()