TO BE CLEANED: shadowed copies

Author: tautschnig

src/linking/linking.cpp

@@ -775,12 +775,13 @@ void linkingt::duplicate_code_symbol(
     else if(base_type_eq(old_symbol.type, new_symbol.type, ns))
     {
       // keep the one in old_symbol -- libraries come last!
-      warning().source_location=new_symbol.location;
+      // TODO: atomic built-ins should be marked file_local
+      debug().source_location = new_symbol.location;
 
-      warning() << "function '" << old_symbol.name << "' in module '"
-                << new_symbol.module
-                << "' is shadowed by a definition in module '"
-                << old_symbol.module << "'" << eom;
+      debug() << "function '" << old_symbol.name << "' in module '"
+              << new_symbol.module
+              << "' is shadowed by a definition in module '"
+              << old_symbol.module << "'" << eom;
     }
     else
       link_error(