C library: fix build on FreeBSD

FreeBSD #defines several stdio macros the same way OpenBSD does. Extend the scope of the existing special case to FreeBSD as well, and generalize the comment (in anticipation of it needing to be extended).
diffblue · Sep 21, 2024 · 7964cde · 7964cde
1 parent d2b4455
commit 7964cde
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/ansi-c/library/stdio.c b/src/ansi-c/library/stdio.c
@@ -6,8 +6,8 @@
 #define __CPROVER_STDIO_H_INCLUDED
 #endif
 
-/* undefine macros in OpenBSD's stdio.h that are problematic to the checker. */
-#if defined(__OpenBSD__)
+/* undefine macros in certain OS' stdio.h that are problematic to the checker. */
+#if defined(__OpenBSD__) || defined(__FreeBSD__)
 #undef getchar
 #undef putchar
 #undef getc