From 182e8bdbb382ad1119892966cfa3e49117e90e22 Mon Sep 17 00:00:00 2001 From: Siva Mahadevan Date: Sat, 20 Jun 2026 14:06:15 -0400 Subject: [PATCH] C library: stdio.c: fix build on FreeBSD These macros are seen here: https://github.com/freebsd/freebsd-src/blob/main/include/stdio.h#L513 --- src/ansi-c/library/stdio.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ansi-c/library/stdio.c b/src/ansi-c/library/stdio.c index 47a2be1ba6b..94bfcde4e33 100644 --- 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__) +#if defined(__FreeBSD__) || defined(__OpenBSD__) +/* undefine macros in stdio.h that are problematic to the checker. */ #undef getchar #undef putchar #undef getc