Searched refs:BuiltinLattice (Results 1 – 1 of 1) sorted by relevance
300 std::string BuiltinLattice; in recordState() local301 llvm::raw_string_ostream BuiltinLatticeS(BuiltinLattice); in recordState()303 JOS.attribute("builtinLattice", BuiltinLattice); in recordState()