X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fcasereader.c;h=578a865dfd459372d528708b866038d32ca48eb4;hb=da67dbb8a63ee516a6ae69c6099fde077dc20dcc;hp=c0968669a23532e05d2195d3d521d6f451a19fbc;hpb=586433e5cc0d9bec63a3baa5cf47445ceeb9df9d;p=pspp

diff --git a/src/data/casereader.c b/src/data/casereader.c
index c0968669a2..578a865dfd 100644
--- a/src/data/casereader.c
+++ b/src/data/casereader.c
@@ -107,7 +107,7 @@ casereader_clone (const struct casereader *reader_)
 {
   struct casereader *reader = CONST_CAST (struct casereader *, reader_);
   struct casereader *clone;
-  if ( reader == NULL ) 
+  if (reader == NULL)
     return NULL;
 
   if (reader->class->clone == NULL)
@@ -239,12 +239,13 @@ static casenumber
 casereader_count_cases__ (const struct casereader *reader,
                           casenumber max_cases)
 {
-  struct casereader *clone = casereader_clone (reader);
-  casenumber n_cases = casereader_advance (clone, max_cases);
-#if (__GNUC__ == 4 ) && (__GNUC_MINOR__ == 4)
-  volatile int x = 1;
-#endif
+  struct casereader *clone;
+  casenumber n_cases;
+
+  clone = casereader_clone (reader);
+  n_cases = casereader_advance (clone, max_cases);
   casereader_destroy (clone);
+
   return n_cases;
 }