Chandler Carruth | 0059f1c | 2009-11-11 19:43:37 +0000 | [diff] [blame] | 1 | //===- ManagerRegistry.cpp - Pluggble Analyzer module creators --*- C++ -*-===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file defines the pluggable analyzer module creators. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Ted Kremenek | 3a8f40e | 2010-12-23 07:22:02 +0000 | [diff] [blame^] | 14 | #include "clang/EntoSA/ManagerRegistry.h" |
Chandler Carruth | 0059f1c | 2009-11-11 19:43:37 +0000 | [diff] [blame] | 15 | |
| 16 | using namespace clang; |
Ted Kremenek | 9ef6537 | 2010-12-23 07:20:52 +0000 | [diff] [blame] | 17 | using namespace ento; |
Chandler Carruth | 0059f1c | 2009-11-11 19:43:37 +0000 | [diff] [blame] | 18 | |
| 19 | StoreManagerCreator ManagerRegistry::StoreMgrCreator = 0; |
| 20 | |
| 21 | ConstraintManagerCreator ManagerRegistry::ConstraintMgrCreator = 0; |