From 1a034d478db751d5f3df43bf738a26c5b2966fdf Mon Sep 17 00:00:00 2001
From: Petr Rockai <me@mornfall.net>
Date: Mon, 22 Jul 2019 19:35:01 +0000
Subject: [PATCH] libc: Use cdefs.h macros instead of spelling out annotations
on memmove().
---
dios/libc/string/memmove.c | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/dios/libc/string/memmove.c b/dios/libc/string/memmove.c
index ee3d09904..3cc02aa7c 100644
--- a/dios/libc/string/memmove.c
+++ b/dios/libc/string/memmove.c
@@ -10,8 +10,7 @@
#ifndef REGTEST
-__attribute__((__annotate__("lart.interrupt.skipcfl")))
-__attribute__((__annotate__("divine.link.always")))
+__link_always __skipcfl
void * memmove( void * s1, const void * s2, size_t n )
{
char *dest = ( char * ) s1;
--
GitLab