Ticket #6304: boost.date_time.parsing.patch

include/boost-1_48/boost/date_time/format_date_parser.hpp

@@ -60 +60 @@
     else {
       mr.cache += (*itr);
     }
-    itr++;
-    j++;
+    ++itr;
+    ++j;
   }
   int_type i = -1;
   // mr.cache will hold leading zeros. size() tells us when input is too short.
@@ -711 +711 @@
         itr++; //advance past format specifier
       }
       else {  //skip past chars in format and in buffer
-        itr++;
+        ++itr;
         if (use_current_char) {
           use_current_char = false;
           current_char = *sitr;
         }
         else {
-          sitr++;
+          ++sitr;
         }
       }
     }

include/boost-1_48/boost/date_time/time_facet.hpp

@@ -1212 +1212 @@
 
           }
           else {  //skip past chars in format and in buffer
-            ++itr;
-            // set use_current_char when sitr is already
-            // pointing at the next character to process
-            if (use_current_char) {
-              use_current_char = false;
-            }
-            else {
-              ++sitr;
-            }
+                          if( sitr != stream_end && *itr != *sitr ) {
+                                  throw std::exception(); // mismatch in constant non format characters found
+                          }
+
+                          ++itr;
+                          // set use_current_char when sitr is already 
+                          // pointing at the next character to process
+                          if (use_current_char) {
+                                  use_current_char = false;
+                          }
+                          else {
+                                  ++sitr;
+                          }
           }
         }