Skip to content

Commit

Permalink
Auto merge of #3334 - RalfJung:nullfix, r=RalfJung
Browse files Browse the repository at this point in the history
remove a wrong bitwise negation

This is a silly mistake I introduced in a1233a7.
  • Loading branch information
bors committed Feb 28, 2024
2 parents 40bb3c1 + 2515605 commit 3b490bf
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/shims/tls.rs
Original file line number Diff line number Diff line change
Expand Up @@ -354,7 +354,7 @@ trait EvalContextPrivExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
state.last_key = Some(key);
trace!("Running TLS dtor {:?} on {:?} at {:?}", instance, ptr, active_thread);
assert!(
!ptr.to_target_usize(this).unwrap() != 0,
ptr.to_target_usize(this).unwrap() != 0,
"data can't be NULL when dtor is called!"
);

Expand Down

0 comments on commit 3b490bf

Please sign in to comment.