2454

Another gotcha uncovered in the process of sorting out the previous
commit: I keep using eof() but forgetting that there are two other
states an istream can get into. Just never use eof().

1 files changed, 1 insertions, 1 deletions

diff --git a/050scenario.cc b/050scenario.cc
index 0a1c0f90..71dfa72d 100644
--- a/050scenario.cc
+++ b/050scenario.cc
@@ -270,7 +270,7 @@ void check_memory(const string& s) {
   set<long long int> locations_checked;
   while (true) {
     skip_whitespace_and_comments(in);
-    if (in.eof()) break;
+    if (!has_data(in)) break;
     string lhs = next_word(in);
     if (!is_integer(lhs)) {
       check_type(lhs, in);