Add require-cas feature

Cargo.toml

@@ -44,6 +44,9 @@ float = []
 # Use `std`.
 std = []
 
+# Emit compile error if atomic CAS is not available.
+require-cas = []
+
 # Note: serde and critical-section are public dependencies.
 [dependencies]
 # Implements serde::{Serialize,Deserialize} for atomic types.

portable-atomic-util/Cargo.toml

@@ -39,4 +39,5 @@ alloc = []
 # generic = []
 
 [dependencies]
-portable-atomic = { version = "1", path = "..", default-features = false }
+# TODO: use version 1.3 once portable-atomic with require-cas feature released.
+portable-atomic = { version = "1", path = "..", default-features = false, features = ["require-cas"] }

src/lib.rs

@@ -365,8 +365,8 @@ compile_error!(
     ))
 )]
 compile_error!(
-    "cfg(portable_atomic_unsafe_assume_single_core) does not compatible with this target; \
-     if you need cfg(portable_atomic_unsafe_assume_single_core) support for this target, \
+    "cfg(portable_atomic_unsafe_assume_single_core) does not compatible with this target;\n\
+     if you need cfg(portable_atomic_unsafe_assume_single_core) support for this target,\n\
      please submit an issue at <https://github.com/taiki-e/portable-atomic>"
 );
 
@@ -402,6 +402,33 @@ compile_error!(
     "you may not enable feature `critical-section` and cfg(portable_atomic_unsafe_assume_single_core) at the same time"
 );
 
+#[cfg(feature = "require-cas")]
+#[cfg_attr(
+    portable_atomic_no_cfg_target_has_atomic,
+    cfg(not(any(
+        not(portable_atomic_no_atomic_cas),
+        portable_atomic_unsafe_assume_single_core,
+        feature = "critical-section",
+        target_arch = "avr",
+        target_arch = "msp430",
+    )))
+)]
+#[cfg_attr(
+    not(portable_atomic_no_cfg_target_has_atomic),
+    cfg(not(any(
+        target_has_atomic = "ptr",
+        portable_atomic_unsafe_assume_single_core,
+        feature = "critical-section",
+        target_arch = "avr",
+        target_arch = "msp430",
+    )))
+)]
+compile_error!(
+    "dependents require atomic CAS but not available on this target by default;\n\
+    consider using portable_atomic_unsafe_assume_single_core cfg or critical-section feature.\n\
+    see <https://docs.rs/portable-atomic/latest/portable_atomic/#optional-cfg> for more."
+);
+
 #[cfg(any(test, feature = "std"))]
 extern crate std;
 

tools/build.sh

@@ -427,9 +427,13 @@ build() {
                 else
                     echo "target '${target}' requires asm to implement atomic CAS (skipped build with --cfg portable_atomic_unsafe_assume_single_core)"
                 fi
-                # portable-atomic-util uses atomic CAS, so doesn't work on
-                # this target without portable_atomic_unsafe_assume_single_core cfg.
-                args+=(--exclude portable-atomic-util)
+                # portable-atomic-util crate and portable-atomic's require-cas feature require atomic CAS,
+                # so doesn't work on this target without portable_atomic_unsafe_assume_single_core cfg
+                # or critical-section feature.
+                args+=(
+                    --exclude portable-atomic-util
+                    --exclude-features require-cas
+                )
             fi
         fi
     fi