From 4dae46e968aa0a3be8a5ab10073d6577a3c380a9 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Fri, 26 May 2017 10:03:29 -0600 Subject: [PATCH] Check that a stream is good while we read. This addresses another (correct) Coverity warning. --- source/base/index_set.cc | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/source/base/index_set.cc b/source/base/index_set.cc index 81e98c95e6..4ed7b59b3a 100644 --- a/source/base/index_set.cc +++ b/source/base/index_set.cc @@ -459,14 +459,18 @@ IndexSet::write(std::ostream &out) const void IndexSet::read(std::istream &in) { + AssertThrow (in, ExcIO()); + size_type s; - unsigned int numranges; + unsigned int n_ranges; - in >> s >> numranges; + in >> s >> n_ranges; ranges.clear(); set_size(s); - for (unsigned int i=0; i> b >> e; add_range(b,e); -- 2.39.5