Searched refs:verify_context (Results 1 – 2 of 2) sorted by relevance
28 use crate::verifier::{VerifierErrors, VerifierResult, verify_context};254 let _ = verify_context(&self.func, &self.cfg, &self.domtree, fisa, &mut errors); in verify()
277 pub fn verify_context<'a, FOI: Into<FlagsOrIsa<'a>>>( in verify_context() function