From 4dae46e968aa0a3be8a5ab10073d6577a3c380a9 Mon Sep 17 00:00:00 2001
From: Wolfgang Bangerth <bangerth@colostate.edu>
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<numranges; ++i)
+  for (unsigned int i=0; i<n_ranges; ++i)
     {
+      AssertThrow (in, ExcIO());
+
       size_type b, e;
       in >> b >> e;
       add_range(b,e);
-- 
2.39.5