File tree Expand file tree Collapse file tree 3 files changed +8
-4
lines changed
librustc/middle/typeck/check Expand file tree Collapse file tree 3 files changed +8
-4
lines changed Original file line number Diff line number Diff line change @@ -6,7 +6,7 @@ refs/heads/try: 8eb2bab100b42f0ba751552d8eff00eb2134c55a
6
6
refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
7
7
refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
8
8
refs/heads/try2: 147ecfdd8221e4a4d4e090486829a06da1e0ca3c
9
- refs/heads/incoming: e5f8026ebab867547514677bf9d7c7870a4345ad
9
+ refs/heads/incoming: bbc4ca134900456ba2a00368ec1f19bc1a357528
10
10
refs/heads/dist-snap: 8b98e5a296d95c5e832db0756828e5bec31c6f50
11
11
refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
12
12
refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503
Original file line number Diff line number Diff line change @@ -99,8 +99,12 @@ pub unsafe fn borrow_as_imm(a: *u8) {
99
99
#[ lang="return_to_mut" ]
100
100
#[ inline( always) ]
101
101
pub unsafe fn return_to_mut ( a : * u8 ) {
102
- let a: * mut BoxRepr = transmute ( a) ;
103
- ( * a) . header . ref_count &= !FROZEN_BIT ;
102
+ // Sometimes the box is null, if it is conditionally frozen.
103
+ // See e.g. #4904.
104
+ if !a. is_null ( ) {
105
+ let a: * mut BoxRepr = transmute ( a) ;
106
+ ( * a) . header . ref_count &= !FROZEN_BIT ;
107
+ }
104
108
}
105
109
106
110
#[ lang="check_not_borrowed" ]
Original file line number Diff line number Diff line change @@ -615,7 +615,7 @@ pub mod guarantor {
615
615
// expressions, both of which always yield a region variable, so
616
616
// mk_subr should never fail.
617
617
let rptr_ty = rcx. resolve_node_type( id) ;
618
- if !ty:: type_is_error( rptr_ty) {
618
+ if !ty:: type_is_error( rptr_ty) && !ty :: type_is_bot ( rptr_ty ) {
619
619
let tcx = rcx. fcx. ccx. tcx;
620
620
debug!( "rptr_ty=%s", ty_to_str( tcx, rptr_ty) ) ;
621
621
let r = ty:: ty_region( tcx, span, rptr_ty) ;
You can’t perform that action at this time.
0 commit comments