touch

diff --git a/ext/standard/var_unserializer.c b/ext/standard/var_unserializer.c
index bf81456a950eaf79c8491041d7a59aeea7be28ae..2b40d90bba579fc6685bb54f746e7261d8817618 100644 (file)
--- a/ext/standard/var_unserializer.c
+++ b/ext/standard/var_unserializer.c
@@ -1,4 +1,4 @@
-/* Generated by re2c 0.9.6 on Tue May 31 11:09:13 2005 */
+/* Generated by re2c 0.9.6 on Thu Jun  2 08:48:59 2005 */
 #line 1 "/usr/src/php/php5/ext/standard/var_unserializer.re"
 /*
   +----------------------------------------------------------------------+
@@ -449,7 +449,7 @@ yy3:        yyaccept = 0;
        if(yych == ':') goto yy87;
        goto yy4;
 yy4:
-#line 625 "/usr/src/php/php5/ext/standard/var_unserializer.re"
+#line 626 "/usr/src/php/php5/ext/standard/var_unserializer.re"
 { return 0; }
 #line 103 "<stdout>"
 yy5:   yyaccept = 0;
@@ -490,7 +490,7 @@ yy13:       yyaccept = 0;
 yy14:  ++YYCURSOR;
        goto yy15;
 yy15:
-#line 619 "/usr/src/php/php5/ext/standard/var_unserializer.re"
+#line 620 "/usr/src/php/php5/ext/standard/var_unserializer.re"
 {
        /* this is the case where we have less data than planned */
        php_error_docref(NULL TSRMLS_CC, E_NOTICE, "Unexpected end of serialized data");
@@ -525,7 +525,7 @@ yy21:       yych = *++YYCURSOR;
 yy22:  ++YYCURSOR;
        goto yy23;
 yy23:
-#line 507 "/usr/src/php/php5/ext/standard/var_unserializer.re"
+#line 508 "/usr/src/php/php5/ext/standard/var_unserializer.re"
 {
        size_t len, len2, len3, maxlen;
        long elements;
@@ -666,7 +666,7 @@ yy28:       yych = *++YYCURSOR;
 yy29:  ++YYCURSOR;
        goto yy30;
 yy30:
-#line 499 "/usr/src/php/php5/ext/standard/var_unserializer.re"
+#line 500 "/usr/src/php/php5/ext/standard/var_unserializer.re"
 {
 
        INIT_PZVAL(*rval);
@@ -698,7 +698,7 @@ yy35:       yych = *++YYCURSOR;
 yy36:  ++YYCURSOR;
        goto yy37;
 yy37:
-#line 477 "/usr/src/php/php5/ext/standard/var_unserializer.re"
+#line 478 "/usr/src/php/php5/ext/standard/var_unserializer.re"
 {
        long elements = parse_iv(start + 2);
        /* use iv() not uiv() in order to check data range */
@@ -744,7 +744,7 @@ yy42:       yych = *++YYCURSOR;
 yy43:  ++YYCURSOR;
        goto yy44;
 yy44:
-#line 449 "/usr/src/php/php5/ext/standard/var_unserializer.re"
+#line 450 "/usr/src/php/php5/ext/standard/var_unserializer.re"
 {
        size_t len, maxlen;
        char *str;
@@ -861,7 +861,7 @@ yy54:       if(yych <= ';'){
 yy55:  ++YYCURSOR;
        goto yy56;
 yy56:
-#line 442 "/usr/src/php/php5/ext/standard/var_unserializer.re"
+#line 443 "/usr/src/php/php5/ext/standard/var_unserializer.re"
 {
        *p = YYCURSOR;
        INIT_PZVAL(*rval);
@@ -928,7 +928,7 @@ yy65:       yych = *++YYCURSOR;
 yy66:  ++YYCURSOR;
        goto yy67;
 yy67:
-#line 427 "/usr/src/php/php5/ext/standard/var_unserializer.re"
+#line 428 "/usr/src/php/php5/ext/standard/var_unserializer.re"
 {
        *p = YYCURSOR;
        INIT_PZVAL(*rval);
@@ -972,7 +972,7 @@ yy72:       if(yych <= '/') goto yy2;
 yy73:  ++YYCURSOR;
        goto yy74;
 yy74:
-#line 420 "/usr/src/php/php5/ext/standard/var_unserializer.re"
+#line 421 "/usr/src/php/php5/ext/standard/var_unserializer.re"
 {
        *p = YYCURSOR;
        INIT_PZVAL(*rval);
@@ -990,7 +990,7 @@ yy76:       yych = *++YYCURSOR;
 yy77:  ++YYCURSOR;
        goto yy78;
 yy78:
-#line 413 "/usr/src/php/php5/ext/standard/var_unserializer.re"
+#line 414 "/usr/src/php/php5/ext/standard/var_unserializer.re"
 {
        *p = YYCURSOR;
        INIT_PZVAL(*rval);
@@ -1001,7 +1001,7 @@ yy78:
 yy79:  ++YYCURSOR;
        goto yy80;
 yy80:
-#line 406 "/usr/src/php/php5/ext/standard/var_unserializer.re"
+#line 407 "/usr/src/php/php5/ext/standard/var_unserializer.re"
 {
        *p = YYCURSOR;
        INIT_PZVAL(*rval);
@@ -1034,7 +1034,7 @@ yy84:     if(yych <= '/') goto yy2;
 yy85:  ++YYCURSOR;
        goto yy86;
 yy86:
-#line 383 "/usr/src/php/php5/ext/standard/var_unserializer.re"
+#line 384 "/usr/src/php/php5/ext/standard/var_unserializer.re"
 {
        long id;
 
@@ -1083,7 +1083,7 @@ yy90:     if(yych <= '/') goto yy2;
 yy91:  ++YYCURSOR;
        goto yy92;
 yy92:
-#line 362 "/usr/src/php/php5/ext/standard/var_unserializer.re"
+#line 363 "/usr/src/php/php5/ext/standard/var_unserializer.re"
 {
        long id;
 
@@ -1106,7 +1106,7 @@ yy92:
 }
 #line 767 "<stdout>"
 }
-#line 627 "/usr/src/php/php5/ext/standard/var_unserializer.re"
+#line 628 "/usr/src/php/php5/ext/standard/var_unserializer.re"
 
 
        return 0;