- //== SubEngine.cpp - Interface of the subengine of CoreEngine ------*- C++ -*-//
- //
- // The LLVM Compiler Infrastructure
- //
- // This file is distributed under the University of Illinois Open Source
- // License. See LICENSE.TXT for details.
- //
- //===----------------------------------------------------------------------===//
- #include "clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h"
- using namespace clang::ento;
- void SubEngine::anchor() { }
|