//===- ArrayBoundCheckDummy.cpp -  -*- C++ -*---------------------------------//
// 
//                          The SAFECode Compiler 
//
// This file was developed by the LLVM research group and is distributed under
// the University of Illinois Open Source License. See LICENSE.TXT for details.
// 
//===----------------------------------------------------------------------===//
//
// This pass is the basic version of static array bounds checking.
// It assumes that every GEP instruction is unsafe.
//
//===----------------------------------------------------------------------===//

#include "ArrayBoundsCheck.h"

NAMESPACE_SC_BEGIN

using namespace llvm;

// FIXME: I put the definition from ArrayBoundsCheckGroup here instead of a
// separate file, because ArrayBoundsCheck.cpp is used by the interprocedural
// analysis pass. Have to rename it before moving things around.

char ArrayBoundsCheckGroup::ID = 0;
char ArrayBoundsCheckDummy::ID = 0;

static RegisterPass<ArrayBoundsCheckDummy> X ("abc-none", "Dummy Array Bounds Check pass");
static RegisterAnalysisGroup<ArrayBoundsCheckGroup, true> ABCGroup(X);

ArrayBoundsCheckGroup::~ArrayBoundsCheckGroup() {}


NAMESPACE_SC_END