Searched refs:ModelDumper (Results 1 – 1 of 1) sorted by relevance
84 class ModelDumper { class86 ModelDumper(llvm::json::OStream &JOS, const Environment &Env) in ModelDumper() function in clang::dataflow::__anon109acdc30111::ModelDumper287 "value", [&] { ModelDumper(JOS, State.Env).dump(*V); }); in recordState()291 "value", [&] { ModelDumper(JOS, State.Env).dump(*Loc); }); in recordState()