Searched refs:verify_function (Results 1 – 10 of 10) sorted by relevance
20 (** [verify_function f] returns [None] if the function [f] is valid, and23 external verify_function : Llvm.llvalue -> bool = "llvm_verify_function"31 (** [verify_function f] returns if the function [f] is valid, but prints a
13 external verify_function : Llvm.llvalue -> bool = "llvm_verify_function"
34 if not (verify_function fn) then bomb "valid function failed verification!";46 if verify_function fn then bomb "invalid function passed verification!";
37 if not (verify_function fn) then bomb "valid function failed verification!";49 if verify_function fn then bomb "invalid function passed verification!";
637 const char* verify_function, in GenerateUtf8CheckCode() argument665 "function", verify_function); in GenerateUtf8CheckCode()