Lines Matching defs:CheckDef

1282   bool Pre(const parser::WhereConstructStmt &x) { return CheckDef(x.t); }
1283   bool Pre(const parser::ForallConstructStmt &x) { return CheckDef(x.t); }
1284   bool Pre(const parser::CriticalStmt &x) { return CheckDef(x.t); }
1288   bool Pre(const parser::NonLabelDoStmt &x) { return CheckDef(x.t); }
1289   bool Pre(const parser::IfThenStmt &x) { return CheckDef(x.t); }
1290   bool Pre(const parser::SelectCaseStmt &x) { return CheckDef(x.t); }
1294     return CheckDef(std::get<0>(x.t));
1297     return CheckDef(std::get<0>(x.t));
1338   template <typename T> bool CheckDef(const T &t) {
1339     return CheckDef(std::get<std::optional<parser::Name>>(t));
1344   bool CheckDef(const std::optional<parser::Name> &);
7512   CheckDef(blockStmt.statement.v);
7528   CheckDef(x.t);
7561   CheckDef(x.t);
7727 bool ConstructVisitor::CheckDef(const std::optional<parser::Name> &x) {