RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

Remove strcmp

Browse Source 
This function causes difficulties for verification and strncmp should be used instead.
This commit is contained in:
Adrian Danis
2018-04-12 10:34:04 +10:00
committed by Anna Lyons
parent 81e821b176
commit 43e1705280
2 changed files with 0 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
include/util.h
View File

@@ -89,7 +89,6 @@ void memzero(void *s, unsigned long n);
void *memset(void *s, unsigned long c, unsigned long n) VISIBLE;
void *memcpy(void* ptr_dst, const void* ptr_src, unsigned long n) VISIBLE;
int PURE strncmp(const char *s1, const char *s2, int n);
int strcmp(const char *s1, const char *s2);
unsigned long strlen(const char *s);
long CONST char_to_long(char c);
long PURE str_to_long(const char* str);