Lines Matching refs:ento

28 namespace ento {
60   void checkDoubleNonblocking(const clang::ento::CallEvent &PreCallEvent,
61                               clang::ento::CheckerContext &Ctx) const;
69   void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent,
70                            clang::ento::CheckerContext &Ctx) const;
75   void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
76                          clang::ento::CheckerContext &Ctx) const;
88       llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions,
89       const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
90       clang::ento::CheckerContext &Ctx) const;
96   const clang::ento::MemRegion *
97   topRegionUsedByWait(const clang::ento::CallEvent &CE) const;