remove cfg(bootstrap) · model-checking/verify-rust-std@d8fe589 (original) (raw)
`@@ -986,7 +986,7 @@ pub const unsafe fn assume(b: bool) {
`
986
986
`#[unstable(feature = "core_intrinsics", issue = "none")]
`
987
987
`#[rustc_intrinsic]
`
988
988
`#[rustc_nounwind]
`
989
``
`-
#[cfg_attr(not(bootstrap), miri::intrinsic_fallback_is_spec)]
`
``
989
`+
#[miri::intrinsic_fallback_is_spec]
`
990
990
`pub const fn likely(b: bool) -> bool {
`
991
991
` b
`
992
992
`}
`
`@@ -1006,7 +1006,7 @@ pub const fn likely(b: bool) -> bool {
`
1006
1006
`#[unstable(feature = "core_intrinsics", issue = "none")]
`
1007
1007
`#[rustc_intrinsic]
`
1008
1008
`#[rustc_nounwind]
`
1009
``
`-
#[cfg_attr(not(bootstrap), miri::intrinsic_fallback_is_spec)]
`
``
1009
`+
#[miri::intrinsic_fallback_is_spec]
`
1010
1010
`pub const fn unlikely(b: bool) -> bool {
`
1011
1011
` b
`
1012
1012
`}
`
`@@ -2482,7 +2482,7 @@ extern "rust-intrinsic" {
`
2482
2482
`#[rustc_nounwind]
`
2483
2483
`#[rustc_do_not_const_check]
`
2484
2484
`#[inline]
`
2485
``
`-
#[cfg_attr(not(bootstrap), miri::intrinsic_fallback_is_spec)]
`
``
2485
`+
#[miri::intrinsic_fallback_is_spec]
`
2486
2486
`pub const fn ptr_guaranteed_cmp(ptr: *const T, other: *const T) -> u8 {
`
2487
2487
`(ptr == other) as u8
`
2488
2488
`}
`
`@@ -2747,7 +2747,7 @@ pub const fn ub_checks() -> bool {
`
2747
2747
`#[unstable(feature = "core_intrinsics", issue = "none")]
`
2748
2748
`#[rustc_nounwind]
`
2749
2749
`#[rustc_intrinsic]
`
2750
``
`-
#[cfg_attr(not(bootstrap), miri::intrinsic_fallback_is_spec)]
`
``
2750
`+
#[miri::intrinsic_fallback_is_spec]
`
2751
2751
`pub const unsafe fn const_allocate(_size: usize, _align: usize) -> *mut u8 {
`
2752
2752
`// const eval overrides this function, but runtime code for now just returns null pointers.
`
2753
2753
`// See https://github.com/rust-lang/rust/issues/93935.
`
`@@ -2768,7 +2768,7 @@ pub const unsafe fn const_allocate(_size: usize, _align: usize) -> *mut u8 {
`
2768
2768
`#[unstable(feature = "core_intrinsics", issue = "none")]
`
2769
2769
`#[rustc_nounwind]
`
2770
2770
`#[rustc_intrinsic]
`
2771
``
`-
#[cfg_attr(not(bootstrap), miri::intrinsic_fallback_is_spec)]
`
``
2771
`+
#[miri::intrinsic_fallback_is_spec]
`
2772
2772
`pub const unsafe fn const_deallocate(_ptr: *mut u8, _size: usize, _align: usize) {
`
2773
2773
`// Runtime NOP
`
2774
2774
`}
`
`@@ -2828,7 +2828,6 @@ impl<P: ?Sized, T: ptr::Thin> AggregateRawPtr<*mut T> for *mut P {
`
2828
2828
`#[rustc_const_unstable(feature = "ptr_metadata", issue = "81513")]
`
2829
2829
`#[rustc_intrinsic]
`
2830
2830
`#[rustc_intrinsic_must_be_overridden]
`
2831
``
`-
#[cfg(not(bootstrap))]
`
2832
2831
`pub const fn ptr_metadata<P: ptr::Pointee<Metadata = M> + ?Sized, M>(_ptr: *const P) -> M {
`
2833
2832
`// To implement a fallback we'd have to assume the layout of the pointer,
`
2834
2833
`// but the whole point of this intrinsic is that we shouldn't do that.
`