| /external/clang/include/clang/Analysis/Analyses/ |
| ThreadSafetyTIL.h | 65 /// Enum for the different distinct classes of SExpr
260 class SExpr {
264 // Subclasses of SExpr must define the following:
282 /// SExpr objects cannot be deleted.
299 SExpr(TIL_Opcode Op)
301 SExpr(const SExpr &E)
312 SExpr() = delete;
314 /// SExpr objects must be created in an arena.
321 inline bool isTrivial(const SExpr *E)
[all...] |
| ThreadSafetyCommon.h | 40 // Various helper functions on til::SExpr
43 inline bool equals(const til::SExpr *E1, const til::SExpr *E2) {
47 inline bool matches(const til::SExpr *E1, const til::SExpr *E2) {
59 inline bool partiallyMatches(const til::SExpr *E1, const til::SExpr *E2) {
69 inline std::string toString(const til::SExpr *E) {
259 const til::SExpr* CapExpr; ///< The capability expression.
263 CapabilityExpr(const til::SExpr *E, bool Neg) : CapExpr(E), Negated(Neg) {
265 const til::SExpr* sexpr() const { return CapExpr; } function in class:clang::threadSafety::CapabilityExpr
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/Analysis/Analyses/ |
| ThreadSafetyTIL.h | 65 /// Enum for the different distinct classes of SExpr
260 class SExpr {
264 // Subclasses of SExpr must define the following:
282 /// SExpr objects cannot be deleted.
299 SExpr(TIL_Opcode Op)
301 SExpr(const SExpr &E)
312 SExpr() = delete;
314 /// SExpr objects must be created in an arena.
321 inline bool isTrivial(const SExpr *E)
[all...] |
| ThreadSafetyCommon.h | 40 // Various helper functions on til::SExpr
43 inline bool equals(const til::SExpr *E1, const til::SExpr *E2) {
47 inline bool matches(const til::SExpr *E1, const til::SExpr *E2) {
59 inline bool partiallyMatches(const til::SExpr *E1, const til::SExpr *E2) {
69 inline std::string toString(const til::SExpr *E) {
259 const til::SExpr* CapExpr; ///< The capability expression.
263 CapabilityExpr(const til::SExpr *E, bool Neg) : CapExpr(E), Negated(Neg) {
265 const til::SExpr* sexpr() const { return CapExpr; } function in class:clang::threadSafety::CapabilityExpr
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4393122/include/clang/Analysis/Analyses/ |
| ThreadSafetyTIL.h | 65 /// Enum for the different distinct classes of SExpr
260 class SExpr {
264 // Subclasses of SExpr must define the following:
282 /// SExpr objects cannot be deleted.
299 SExpr(TIL_Opcode Op)
301 SExpr(const SExpr &E)
312 SExpr() = delete;
314 /// SExpr objects must be created in an arena.
321 inline bool isTrivial(const SExpr *E)
[all...] |
| ThreadSafetyCommon.h | 40 // Various helper functions on til::SExpr
43 inline bool equals(const til::SExpr *E1, const til::SExpr *E2) {
47 inline bool matches(const til::SExpr *E1, const til::SExpr *E2) {
59 inline bool partiallyMatches(const til::SExpr *E1, const til::SExpr *E2) {
69 inline std::string toString(const til::SExpr *E) {
259 const til::SExpr* CapExpr; ///< The capability expression.
263 CapabilityExpr(const til::SExpr *E, bool Neg) : CapExpr(E), Negated(Neg) {
265 const til::SExpr* sexpr() const { return CapExpr; } function in class:clang::threadSafety::CapabilityExpr
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4479392/include/clang/Analysis/Analyses/ |
| ThreadSafetyTIL.h | 65 /// Enum for the different distinct classes of SExpr
260 class SExpr {
264 // Subclasses of SExpr must define the following:
282 /// SExpr objects cannot be deleted.
299 SExpr(TIL_Opcode Op)
301 SExpr(const SExpr &E)
312 SExpr() = delete;
314 /// SExpr objects must be created in an arena.
321 inline bool isTrivial(const SExpr *E)
[all...] |
| ThreadSafetyCommon.h | 40 // Various helper functions on til::SExpr
43 inline bool equals(const til::SExpr *E1, const til::SExpr *E2) {
47 inline bool matches(const til::SExpr *E1, const til::SExpr *E2) {
59 inline bool partiallyMatches(const til::SExpr *E1, const til::SExpr *E2) {
69 inline std::string toString(const til::SExpr *E) {
259 const til::SExpr* CapExpr; ///< The capability expression.
263 CapabilityExpr(const til::SExpr *E, bool Neg) : CapExpr(E), Negated(Neg) {
265 const til::SExpr* sexpr() const { return CapExpr; } function in class:clang::threadSafety::CapabilityExpr
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/Analysis/Analyses/ |
| ThreadSafetyTIL.h | 65 /// Enum for the different distinct classes of SExpr
260 class SExpr {
264 // Subclasses of SExpr must define the following:
282 /// SExpr objects cannot be deleted.
299 SExpr(TIL_Opcode Op)
301 SExpr(const SExpr &E)
312 SExpr() = delete;
314 /// SExpr objects must be created in an arena.
321 inline bool isTrivial(const SExpr *E)
[all...] |
| ThreadSafetyCommon.h | 40 // Various helper functions on til::SExpr
43 inline bool equals(const til::SExpr *E1, const til::SExpr *E2) {
47 inline bool matches(const til::SExpr *E1, const til::SExpr *E2) {
59 inline bool partiallyMatches(const til::SExpr *E1, const til::SExpr *E2) {
69 inline std::string toString(const til::SExpr *E) {
259 const til::SExpr* CapExpr; ///< The capability expression.
263 CapabilityExpr(const til::SExpr *E, bool Neg) : CapExpr(E), Negated(Neg) {
265 const til::SExpr* sexpr() const { return CapExpr; } function in class:clang::threadSafety::CapabilityExpr
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4393122/include/clang/Analysis/Analyses/ |
| ThreadSafetyTIL.h | 65 /// Enum for the different distinct classes of SExpr
260 class SExpr {
264 // Subclasses of SExpr must define the following:
282 /// SExpr objects cannot be deleted.
299 SExpr(TIL_Opcode Op)
301 SExpr(const SExpr &E)
312 SExpr() = delete;
314 /// SExpr objects must be created in an arena.
321 inline bool isTrivial(const SExpr *E)
[all...] |
| ThreadSafetyCommon.h | 40 // Various helper functions on til::SExpr
43 inline bool equals(const til::SExpr *E1, const til::SExpr *E2) {
47 inline bool matches(const til::SExpr *E1, const til::SExpr *E2) {
59 inline bool partiallyMatches(const til::SExpr *E1, const til::SExpr *E2) {
69 inline std::string toString(const til::SExpr *E) {
259 const til::SExpr* CapExpr; ///< The capability expression.
263 CapabilityExpr(const til::SExpr *E, bool Neg) : CapExpr(E), Negated(Neg) {
265 const til::SExpr* sexpr() const { return CapExpr; } function in class:clang::threadSafety::CapabilityExpr
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4479392/include/clang/Analysis/Analyses/ |
| ThreadSafetyTIL.h | 65 /// Enum for the different distinct classes of SExpr
260 class SExpr {
264 // Subclasses of SExpr must define the following:
282 /// SExpr objects cannot be deleted.
299 SExpr(TIL_Opcode Op)
301 SExpr(const SExpr &E)
312 SExpr() = delete;
314 /// SExpr objects must be created in an arena.
321 inline bool isTrivial(const SExpr *E)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4579689/include/clang/Analysis/Analyses/ |
| ThreadSafetyTIL.h | 65 /// Enum for the different distinct classes of SExpr
260 class SExpr {
264 // Subclasses of SExpr must define the following:
282 /// SExpr objects cannot be deleted.
299 SExpr(TIL_Opcode Op)
301 SExpr(const SExpr &E)
312 SExpr() = delete;
314 /// SExpr objects must be created in an arena.
321 inline bool isTrivial(const SExpr *E)
[all...] |
| ThreadSafetyCommon.h | 40 // Various helper functions on til::SExpr
43 inline bool equals(const til::SExpr *E1, const til::SExpr *E2) {
47 inline bool matches(const til::SExpr *E1, const til::SExpr *E2) {
59 inline bool partiallyMatches(const til::SExpr *E1, const til::SExpr *E2) {
69 inline std::string toString(const til::SExpr *E) {
259 const til::SExpr* CapExpr; ///< The capability expression.
263 CapabilityExpr(const til::SExpr *E, bool Neg) : CapExpr(E), Negated(Neg) {
265 const til::SExpr* sexpr() const { return CapExpr; } function in class:clang::threadSafety::CapabilityExpr
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4630689/include/clang/Analysis/Analyses/ |
| ThreadSafetyTIL.h | 65 /// Enum for the different distinct classes of SExpr
260 class SExpr {
264 // Subclasses of SExpr must define the following:
282 /// SExpr objects cannot be deleted.
299 SExpr(TIL_Opcode Op)
301 SExpr(const SExpr &E)
312 SExpr() = delete;
314 /// SExpr objects must be created in an arena.
321 inline bool isTrivial(const SExpr *E)
[all...] |
| ThreadSafetyCommon.h | 40 // Various helper functions on til::SExpr
43 inline bool equals(const til::SExpr *E1, const til::SExpr *E2) {
47 inline bool matches(const til::SExpr *E1, const til::SExpr *E2) {
59 inline bool partiallyMatches(const til::SExpr *E1, const til::SExpr *E2) {
69 inline std::string toString(const til::SExpr *E) {
259 const til::SExpr* CapExpr; ///< The capability expression.
263 CapabilityExpr(const til::SExpr *E, bool Neg) : CapExpr(E), Negated(Neg) {
265 const til::SExpr* sexpr() const { return CapExpr; } function in class:clang::threadSafety::CapabilityExpr
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4639204/include/clang/Analysis/Analyses/ |
| ThreadSafetyTIL.h | 65 /// Enum for the different distinct classes of SExpr
260 class SExpr {
264 // Subclasses of SExpr must define the following:
282 /// SExpr objects cannot be deleted.
299 SExpr(TIL_Opcode Op)
301 SExpr(const SExpr &E)
312 SExpr() = delete;
314 /// SExpr objects must be created in an arena.
321 inline bool isTrivial(const SExpr *E)
[all...] |
| ThreadSafetyCommon.h | 40 // Various helper functions on til::SExpr
43 inline bool equals(const til::SExpr *E1, const til::SExpr *E2) {
47 inline bool matches(const til::SExpr *E1, const til::SExpr *E2) {
59 inline bool partiallyMatches(const til::SExpr *E1, const til::SExpr *E2) {
69 inline std::string toString(const til::SExpr *E) {
259 const til::SExpr* CapExpr; ///< The capability expression.
263 CapabilityExpr(const til::SExpr *E, bool Neg) : CapExpr(E), Negated(Neg) {
265 const til::SExpr* sexpr() const { return CapExpr; } function in class:clang::threadSafety::CapabilityExpr
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4691093/include/clang/Analysis/Analyses/ |
| ThreadSafetyTIL.h | 65 /// Enum for the different distinct classes of SExpr
260 class SExpr {
264 // Subclasses of SExpr must define the following:
282 /// SExpr objects cannot be deleted.
299 SExpr(TIL_Opcode Op)
301 SExpr(const SExpr &E)
312 SExpr() = delete;
314 /// SExpr objects must be created in an arena.
321 inline bool isTrivial(const SExpr *E)
[all...] |
| ThreadSafetyCommon.h | 40 // Various helper functions on til::SExpr
43 inline bool equals(const til::SExpr *E1, const til::SExpr *E2) {
47 inline bool matches(const til::SExpr *E1, const til::SExpr *E2) {
59 inline bool partiallyMatches(const til::SExpr *E1, const til::SExpr *E2) {
69 inline std::string toString(const til::SExpr *E) {
259 const til::SExpr* CapExpr; ///< The capability expression.
263 CapabilityExpr(const til::SExpr *E, bool Neg) : CapExpr(E), Negated(Neg) {
265 const til::SExpr* sexpr() const { return CapExpr; } function in class:clang::threadSafety::CapabilityExpr
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4579689/include/clang/Analysis/Analyses/ |
| ThreadSafetyTIL.h | 65 /// Enum for the different distinct classes of SExpr
260 class SExpr {
264 // Subclasses of SExpr must define the following:
282 /// SExpr objects cannot be deleted.
299 SExpr(TIL_Opcode Op)
301 SExpr(const SExpr &E)
312 SExpr() = delete;
314 /// SExpr objects must be created in an arena.
321 inline bool isTrivial(const SExpr *E)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4630689/include/clang/Analysis/Analyses/ |
| ThreadSafetyTIL.h | 65 /// Enum for the different distinct classes of SExpr
260 class SExpr {
264 // Subclasses of SExpr must define the following:
282 /// SExpr objects cannot be deleted.
299 SExpr(TIL_Opcode Op)
301 SExpr(const SExpr &E)
312 SExpr() = delete;
314 /// SExpr objects must be created in an arena.
321 inline bool isTrivial(const SExpr *E)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4639204/include/clang/Analysis/Analyses/ |
| ThreadSafetyTIL.h | 65 /// Enum for the different distinct classes of SExpr
260 class SExpr {
264 // Subclasses of SExpr must define the following:
282 /// SExpr objects cannot be deleted.
299 SExpr(TIL_Opcode Op)
301 SExpr(const SExpr &E)
312 SExpr() = delete;
314 /// SExpr objects must be created in an arena.
321 inline bool isTrivial(const SExpr *E)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4691093/include/clang/Analysis/Analyses/ |
| ThreadSafetyTIL.h | 65 /// Enum for the different distinct classes of SExpr
260 class SExpr {
264 // Subclasses of SExpr must define the following:
282 /// SExpr objects cannot be deleted.
299 SExpr(TIL_Opcode Op)
301 SExpr(const SExpr &E)
312 SExpr() = delete;
314 /// SExpr objects must be created in an arena.
321 inline bool isTrivial(const SExpr *E)
[all...] |
