---

erickt · erickt · commit c8272ddf280d · 2012-08-30T20:40:52.000-07:00
yaml --- r: 23607 b: refs/heads/master c: 94c3975 h: refs/heads/master i: 23605: 797564d 23603: edde49b 23599: f75c3d0 v: v3
diff --git a/[refs] b/[refs]
@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 0e1a4a4da29caadba5d5cd86a5cd2587fdb0755d
+refs/heads/master: 94c3975a9a4948a17cc63022e3ba5dbe87171a9d
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/try: ffbe0e0e00374358b789b0037bcb3a577cd218be
diff --git a/trunk/src/libcore/str.rs b/trunk/src/libcore/str.rs
@@ -220,14 +220,9 @@ fn push_char(&s: ~str, ch: char) {
                 *ptr::mut_offset(buf, off + 5u) =
                     (code & 63u | tag_cont) as u8;
             }
-            *ptr::mut_offset(buf, off + nb) = 0u8;
         }
 
-        do as_bytes(s) |bytes| {
-            let mut mut_bytes: ~[u8] = ::unsafe::reinterpret_cast(bytes);
-            vec::unsafe::set_len(mut_bytes, new_len + 1u);
-            ::unsafe::forget(mut_bytes);
-        }
+        unsafe::set_len(s, new_len);
     }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -220,14 +220,9 @@ fn push_char(&s: ~str, ch: char) {`
`220`	`220`	`*ptr::mut_offset(buf, off + 5u) =`
`221`	`221`	`(code & 63u \| tag_cont) as u8;`
`222`	`222`	`}`
`223`		`- *ptr::mut_offset(buf, off + nb) = 0u8;`
`224`	`223`	`}`
`225`	`224`
`226`		`- do as_bytes(s) \|bytes\| {`
`227`		`- let mut mut_bytes: ~[u8] = ::unsafe::reinterpret_cast(bytes);`
`228`		`- vec::unsafe::set_len(mut_bytes, new_len + 1u);`
`229`		`- ::unsafe::forget(mut_bytes);`
`230`		`- }`
	`225`	`+ unsafe::set_len(s, new_len);`
`231`	`226`	`}`
`232`	`227`	`}`
`233`	`228`