Ensure that the release build no references to any functions from core

Author: dianqk

ci/run.sh

@@ -42,9 +42,9 @@ if [ "$NM" = "" ]; then
 fi
 
 if [ -d /target ]; then
-    path=/target/${1}/debug/deps/libcompiler_builtins-*.rlib
+    path=/target/${1}/release/deps/libcompiler_builtins-*.rlib
 else
-    path=target/${1}/debug/deps/libcompiler_builtins-*.rlib
+    path=target/${1}/release/deps/libcompiler_builtins-*.rlib
 fi
 
 # Look out for duplicated symbols when we include the compiler-rt (C) implementation
@@ -98,9 +98,10 @@ fi
 CARGO_PROFILE_RELEASE_LTO=true \
   $cargo rustc --features "$INTRINSICS_FEATURES" --target $1 --example intrinsics --release
 
-# Ensure no references to a panicking function
+# Ensure no references to any functions from core
 for rlib in $(echo $path); do
     set +ex
+    # FIXME: In fact, we want to check core.
     $NM -u $rlib 2>&1 | grep panicking
 
     if test $? = 0; then