note
	description: "Summary description for {FUNCTION_PASS}."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	FUNCTION_PASS

inherit

	PASS

create

	verifier_pass

feature {NONE}

	verifier_pass
		do
			item := create_verifier_pass_external
		end

feature {NONE} -- Externals

	create_verifier_pass_external: POINTER
		external
			"C++ inline use %"llvm/Analysis/Verifier.h%""
		alias
			"[
				return llvm::createVerifierPass ();
			]"
		end
end