From 959a0281bb5472ceb6a3f7a7b7f0a50766215a1b Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Fri, 5 Jun 2020 09:33:48 +0200
Subject: [PATCH] [Libc] avoid possible issue with C++ ('class' keyword)
---
share/libc/netdb.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/share/libc/netdb.c b/share/libc/netdb.c
index b941064d12a..182d8d7e8dd 100644
--- a/share/libc/netdb.c
+++ b/share/libc/netdb.c
@@ -91,7 +91,7 @@ struct __fc_gethostbyname {
struct __fc_gethostbyname __fc_ghbn;
-int res_search(const char *dname, int class, int type,
+static int res_search(const char *dname, int rec_class, int type,
char *answer, int anslen) {
for (int i = 0; i < anslen-1; i++) {
answer[i] = Frama_C_char_interval(CHAR_MIN, CHAR_MAX);
--
GitLab