Do not register 'RangeConstraintManager' as the default ConstraintManager.
llvm-svn: 64627
This commit is contained in:
parent
0f269cfdee
commit
fa95ce412c
|
|
@ -461,8 +461,6 @@ ConstraintManager* clang::CreateRangeConstraintManager(GRStateManager& StateMgr)
|
|||
return new RangeConstraintManager(StateMgr);
|
||||
}
|
||||
|
||||
RegisterConstraintManager X(CreateRangeConstraintManager);
|
||||
|
||||
const GRState*
|
||||
RangeConstraintManager::AssumeSymNE(const GRState* St, SymbolRef sym,
|
||||
const llvm::APSInt& V, bool& isFeasible) {
|
||||
|
|
|
|||
Loading…
Reference in New Issue