File tree Expand file tree Collapse file tree 2 files changed +7
-3
lines changed
librustc/middle/typeck/check Expand file tree Collapse file tree 2 files changed +7
-3
lines changed Original file line number Diff line number Diff line change @@ -99,8 +99,12 @@ pub unsafe fn borrow_as_imm(a: *u8) {
9999#[ lang="return_to_mut" ]
100100#[ inline( always) ]
101101pub 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+ }
104108}
105109
106110#[ lang="check_not_borrowed" ]
Original file line number Diff line number Diff line change @@ -615,7 +615,7 @@ pub mod guarantor {
615615 // expressions, both of which always yield a region variable, so
616616 // mk_subr should never fail.
617617 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 ) {
619619 let tcx = rcx. fcx. ccx. tcx;
620620 debug!( "rptr_ty=%s", ty_to_str( tcx, rptr_ty) ) ;
621621 let r = ty:: ty_region( tcx, span, rptr_ty) ;
You can’t perform that action at this time.
0 commit comments