Lines Matching refs:ento

27 namespace ento {
58   void checkDoubleNonblocking(const clang::ento::CallEvent &PreCallEvent,
59                               clang::ento::CheckerContext &Ctx) const;
66   void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent,
67                            clang::ento::CheckerContext &Ctx) const;
72   void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
73                          clang::ento::CheckerContext &Ctx) const;
85       llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions,
86       const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
87       clang::ento::CheckerContext &Ctx) const;
93   const clang::ento::MemRegion *
94   topRegionUsedByWait(const clang::ento::CallEvent &CE) const;