0002379: FE_* API is available on OpenBSD - Frama-C Bug Tracking System

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Tags

No tags attached.

Attached Files

patch-src_libraries_utils_c_bindings_c [^] (517 bytes) 2018-06-18 16:55 [Show Content] [Hide Content]

$OpenBSD$

Index: src/libraries/utils/c_bindings.c
--- src/libraries/utils/c_bindings.c.orig
+++ src/libraries/utils/c_bindings.c
@@ -35,11 +35,12 @@
 #include <unistd.h>
 
 // Some BSD flavors do not implement all of C99
-#if defined(__OpenBSD__) || defined(__NetBSD__) 
+#if defined(__NetBSD__) 
 # include <ieeefp.h>
 # define FE_DOWNWARD FP_RM
 # define FE_UPWARD FP_RP
 # define FE_TONEAREST FP_RN
+# define FE_TOWARDZERO FP_RZ
 # define fegetround()	fpgetround()
 # define fesetround(RM)	fpsetround(RM)
 #else

Relationships

Notes
(0006613) maroneze (developer) 2018-07-25 15:02	I confirm that on OpenBSD (tested with 6.3) Frama-C 17 does not compile without the patch, but it does when patched. Thanks for the report and the patch, it will be integrated in the next release.

Issue History
Date Modified	Username	Field	Change
2018-06-18 16:55	madroach	New Issue
2018-06-18 16:55	madroach	File Added: patch-src_libraries_utils_c_bindings_c
2018-07-11 15:31	signoles	Assigned To	=> maroneze
2018-07-11 15:31	signoles	Status	new => assigned
2018-07-11 15:31	signoles	Category	Kernel => Kernel > libc
2018-07-11 15:31	signoles	Description Updated	View Revisions
2018-07-25 15:02	maroneze	Note Added: 0006613
2018-07-25 15:02	maroneze	Status	assigned => confirmed