Differential D56040 Diff 179393 clang/include/clang/StaticAnalyzer/Core/RetainSummaryManager.h

Changeset View

Standalone View

clang/include/clang/StaticAnalyzer/Core/RetainSummaryManager.h

Show First 20 Lines • Show All 46 Lines • ▼ Show 20 Line(s)		40	enum class ObjKind {
47	AnyObj,	47		AnyObj,
48	/// Indicates that the tracked object is a generalized object.	48		/// Indicates that the tracked object is a generalized object.
49	Generalized,	49		Generalized,
50		50
51	/// A descendant of OSObject.	51		/// A descendant of OSObject.
52	OS	52		OS
53	};	53		};
54		54
55	/// An ArgEffect summarizes the retain count behavior on an argument or receiver	55		enum ArgEffectKind {
56	/// to a function or method.
57	enum ArgEffect {
58	/// There is no effect.	56		/// There is no effect.
59	DoNothing,	57		DoNothing,
60		58
61	/// The argument is treated as if an -autorelease message had been sent to	59		/// The argument is treated as if an -autorelease message had been sent to
62	/// the referenced object.	60		/// the referenced object.
63	Autorelease,	61		Autorelease,
64		62
65	/// The argument is treated as if an -dealloc message had been sent to	63		/// The argument is treated as if an -dealloc message had been sent to
▲ Show 20 Lines • Show All 62 Lines • ▼ Show 20 Line(s)
128	/// Performs the combined functionality of DecRefMsg and StopTrackingHard.	126		/// Performs the combined functionality of DecRefMsg and StopTrackingHard.
129	///	127		///
130	/// The models the effect that the called function decrements the reference	128		/// The models the effect that the called function decrements the reference
131	/// count of the argument and all typestate tracking on that argument	129		/// count of the argument and all typestate tracking on that argument
132	/// should cease.	130		/// should cease.
133	DecRefMsgAndStopTrackingHard	131		DecRefMsgAndStopTrackingHard
134	};	132		};
135		133
		134		/// An ArgEffect summarizes the retain count behavior on an argument or receiver
		135		/// to a function or method.
		136		class ArgEffect {
		137		private:
			NoQUnsubmitted Not Done Reply This `private` is redundant. NoQ: This `private` is redundant.
		138		ArgEffectKind K;
		139		ObjKind O;
		140		public:
		141		ArgEffect(ArgEffectKind K = DoNothing, ObjKind O = ObjKind::AnyObj)
		142		: K(K), O(O) {}
		143
		144		ArgEffectKind getKind() const { return K; }
		145		ObjKind getObjKind() const { return O; }
		146
		147		ArgEffect withKind(ArgEffectKind NewK) {
		148		return ArgEffect(NewK, O);
		149		}
		150
		151		bool operator==(const ArgEffect &Other) const {
		152		return K == Other.K && O == Other.O;
		153		}
		154		};
		155
136	/// RetEffect summarizes a call's retain/release behavior with respect	156		/// RetEffect summarizes a call's retain/release behavior with respect
137	/// to its return value.	157		/// to its return value.
138	class RetEffect {	158		class RetEffect {
139	public:	159		public:
140	enum Kind {	160		enum Kind {
141	/// Indicates that no retain count information is tracked for	161		/// Indicates that no retain count information is tracked for
142	/// the return value.	162		/// the return value.
143	NoRet,	163		NoRet,
▲ Show 20 Lines • Show All 69 Lines • ▼ Show 20 Line(s)
213	/// The purpose of the API is to provide something simple. The actual	233		/// The purpose of the API is to provide something simple. The actual
214	/// static analyzer checker that implements retain/release typestate	234		/// static analyzer checker that implements retain/release typestate
215	/// tracking uses something more efficient.	235		/// tracking uses something more efficient.
216	class CallEffects {	236		class CallEffects {
217	llvm::SmallVector<ArgEffect, 10> Args;	237		llvm::SmallVector<ArgEffect, 10> Args;
218	RetEffect Ret;	238		RetEffect Ret;
219	ArgEffect Receiver;	239		ArgEffect Receiver;
220		240
221	CallEffects(const RetEffect &R) : Ret(R) {}	241		CallEffects(const RetEffect &R,
		242		ArgEffect Receiver = ArgEffect(DoNothing, ObjKind::AnyObj))
		243		: Ret(R), Receiver(Receiver) {}
222		244
223	public:	245		public:
224	/// Returns the argument effects for a call.	246		/// Returns the argument effects for a call.
225	ArrayRef<ArgEffect> getArgs() const { return Args; }	247		ArrayRef<ArgEffect> getArgs() const { return Args; }
226		248
227	/// Returns the effects on the receiver.	249		/// Returns the effects on the receiver.
228	ArgEffect getReceiver() const { return Receiver; }	250		ArgEffect getReceiver() const { return Receiver; }
229		251
Show All 28 Lines
258	} // end namespace ento	280		} // end namespace ento
259	} // end namespace clang	281		} // end namespace clang
260		282
261		283
262	namespace llvm {	284		namespace llvm {
263		285
264	template <> struct FoldingSetTrait<ArgEffect> {	286		template <> struct FoldingSetTrait<ArgEffect> {
265	static inline void Profile(const ArgEffect X, FoldingSetNodeID &ID) {	287		static inline void Profile(const ArgEffect X, FoldingSetNodeID &ID) {
266	ID.AddInteger((unsigned) X);	288		ID.AddInteger((unsigned) X.getKind());
		289		ID.AddInteger((unsigned) X.getObjKind());
267	}	290		}
268	};	291		};
269	template <> struct FoldingSetTrait<RetEffect> {	292		template <> struct FoldingSetTrait<RetEffect> {
270	static inline void Profile(const RetEffect &X, FoldingSetNodeID &ID) {	293		static inline void Profile(const RetEffect &X, FoldingSetNodeID &ID) {
271	ID.AddInteger((unsigned) X.getKind());	294		ID.AddInteger((unsigned) X.getKind());
272	ID.AddInteger((unsigned) X.getObjKind());	295		ID.AddInteger((unsigned) X.getObjKind());
273	}	296		}
274	};	297		};
▲ Show 20 Lines • Show All 519 Lines • Show Last 20 Lines