]> git.ipfire.org Git - thirdparty/gcc.git/blobdiff - libbacktrace/atomic.c
[Ada] Improve handling of SPARK_Mode in generic instances
[thirdparty/gcc.git] / libbacktrace / atomic.c
index 10418abadaa8eb69f86a4a565fcfc331d6b0f9d1..c5c88f9520b47d4a51d5462603959815eff0661a 100644 (file)
@@ -1,5 +1,5 @@
 /* atomic.c -- Support for atomic functions if not present.
-   Copyright (C) 2013 Free Software Foundation, Inc.
+   Copyright (C) 2013-2020 Free Software Foundation, Inc.
    Written by Ian Lance Taylor, Google.
 
 Redistribution and use in source and binary forms, with or without
@@ -7,13 +7,13 @@ modification, are permitted provided that the following conditions are
 met:
 
     (1) Redistributions of source code must retain the above copyright
-    notice, this list of conditions and the following disclaimer. 
+    notice, this list of conditions and the following disclaimer.
 
     (2) Redistributions in binary form must reproduce the above copyright
     notice, this list of conditions and the following disclaimer in
     the documentation and/or other materials provided with the
-    distribution.  
-    
+    distribution.
+
     (3) The name of the author may not be used to
     endorse or promote products derived from this software without
     specific prior written permission.