Searched refs:UseConstructHashZ3 (Results 1 – 1 of 1) sorted by relevance
25 llvm::cl::opt<bool> UseConstructHashZ3( variable453 if (!UseConstructHashZ3 || isa<ConstantExpr>(e)) { in construct()