Suppress new false-negatives that were masked by dead code analysis c… · model-checking/verify-rust-std@35cd95f (original) (raw)

Original file line number	Diff line number	Diff line change
@@ -47,6 +47,8 @@ pub fn anon_pipe() -> io::Result<(AnonPipe, AnonPipe)> {
47	47	}
48	48
49	49	impl AnonPipe {
	50	+#[allow(dead_code)]
	51	+// FIXME: This function seems legitimately unused.
50	52	pub fn try_clone(&self) -> io::Result<Self> {
51	53	self.0.duplicate().map(Self)
52	54	}
@@ -85,6 +87,8 @@ impl AnonPipe {
85	87	self.0.is_write_vectored()
86	88	}
87	89
	90	+#[allow(dead_code)]
	91	+// FIXME: This function seems legitimately unused.
88	92	pub fn as_file_desc(&self) -> &FileDesc {
89	93	&self.0
90	94	}