Future/bison
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/bison.git synced 2026-03-11 21:33:04 +00:00
Code Issues Packages Projects Releases Wiki Activity

portability: don't use strtof

Browse Source 
It is not available on HP-UX 11i.
Reported by Larkin Nickle <me@larbob.org>.
<https://lists.gnu.org/r/bug-bison/2021-09/msg00012.html>

Gnulib provides no replacement, but anyway we should be using doubles,
since difftime uses doubles.

* bootstrap.conf: We want portability on stdtod.
* src/counterexample.c: Use double, not float, for time measurements.
This commit is contained in:
Akim Demaille
2021-09-10 11:08:23 +02:00
parent 5d9ccd5a87
commit 0343acbe89
4 changed files with 8 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/counterexample.c
View File

@@ -57,12 +57,12 @@
/** The time limit before printing an assurance message to the user to
* indicate that the search is still running. */
#define ASSURANCE_LIMIT 2.0f
#define ASSURANCE_LIMIT 2.0
/* The time limit before giving up looking for unifying counterexample. */
static float time_limit = 5.0f;
static double time_limit = 5.0;
#define CUMULATIVE_TIME_LIMIT 120.0f
#define CUMULATIVE_TIME_LIMIT 120.0
// This is the fastest way to get the tail node from the gl_list API.
static gl_list_node_t
@@ -1164,7 +1164,7 @@ unifying_example (state_item_number itm1,
}
if (TIME_LIMIT_ENFORCED)
{
float time_passed = difftime (time (NULL), start);
double time_passed = difftime (time (NULL), start);
if (!assurance_printed && time_passed > ASSURANCE_LIMIT
&& stage3result)
{
@@ -1218,7 +1218,7 @@ counterexample_init (void)
if (cp)
{
char *end = NULL;
float v = strtof (cp, &end);
double v = strtod (cp, &end);
if (*end == '\0' && errno == 0)
time_limit = v;
}