Analysis.cpp revision da1435f86ebc9886dd7704294e01d192d79e069c 
1//===-- Analysis.cpp ------------------------------------------------------===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file was developed by Gordon Henriksen and is distributed under the
6// University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10#include "llvm-c/Analysis.h"
11#include "llvm/Analysis/Verifier.h"
12#include <fstream>
13
14using namespace llvm;
15
16int LLVMVerifyModule(LLVMModuleRef M, LLVMVerifierFailureAction Action,
17                     char **OutMessages) {
18  std::string Messages;
19
20  int Result = verifyModule(*unwrap(M),
21                            static_cast<VerifierFailureAction>(Action),
22                            OutMessages? &Messages : 0);
23
24  if (OutMessages)
25    *OutMessages = strdup(Messages.c_str());
26
27  return Result;
28}
29
30int LLVMVerifyFunction(LLVMValueRef Fn, LLVMVerifierFailureAction Action) {
31  return verifyFunction(*unwrap<Function>(Fn),
32                        static_cast<VerifierFailureAction>(Action));
33}
34
35