Changeset 20 for trunk/src/slib.c

Timestamp:

Feb 13, 2006, 11:54:42 PM (19 years ago)

Author:

rainer

Message:

Enable command-line parsing for prelude, and make prelude regression test safer.

File:

• trunk/src/slib.c (modified) (13 diffs)

trunk/src/slib.c

@@ -6 +6 @@
 #include <stdarg.h>
 #include <string.h>
-
+#include <limits.h>
 
 #include <unistd.h>
@@ -98 +98 @@
 static FILE * trace_fp     = NULL;
 
-int  sl_trace_use (char * dummy)
+int  sl_trace_use (const char * dummy)
 {
   if (dummy)
@@ -107 +107 @@
 }
 
-int  sl_trace_file (char * str)
+int  sl_trace_file (const char * str)
 {
   if (!str)
@@ -1638 +1638 @@
 
 static
-int sl_open_file (char *filename, int mode, int priv)
+int sl_open_file (const char *filename, int mode, int priv)
 {
   struct stat   lbuf;
@@ -1848 +1848 @@
 
 static
-int check_fname_priv (char * fname, int priv)
+int check_fname_priv (const char * fname, int priv)
 {
   SL_ENTER(_("check_fname_priv"));
@@ -1858 +1858 @@
 }
   
-SL_TICKET sl_open_write (char * fname, int priv)
+SL_TICKET sl_open_write (const char * fname, int priv)
 {
   long status;
@@ -1870 +1870 @@
 }
 
-SL_TICKET sl_open_read (char * fname, int priv)
+SL_TICKET sl_open_read (const char * fname, int priv)
 {
   long status;
@@ -1887 +1887 @@
 }
 
-SL_TICKET sl_open_fastread (char * fname, int priv)
+SL_TICKET sl_open_fastread (const char * fname, int priv)
 {
   long status;
@@ -1899 +1899 @@
 }
 
-SL_TICKET sl_open_rdwr (char * fname, int priv)
+SL_TICKET sl_open_rdwr (const char * fname, int priv)
 {
   long status;
@@ -1911 +1911 @@
 }
 
-SL_TICKET sl_open_safe_rdwr (char * fname, int priv)
+SL_TICKET sl_open_safe_rdwr (const char * fname, int priv)
 {
   long status;
@@ -1923 +1923 @@
 }
 
-SL_TICKET sl_open_write_trunc (char * fname, int priv)
+SL_TICKET sl_open_write_trunc (const char * fname, int priv)
 {
   long status;
@@ -1935 +1935 @@
 }
 
-SL_TICKET sl_open_rdwr_trunc (char * fname, int priv)
+SL_TICKET sl_open_rdwr_trunc (const char * fname, int priv)
 {
   long status;
@@ -2490 +2490 @@
 }
 
-
+/* ---------------------------------------------------------------- 
+ *
+ *    Overflow tests
+ *
+ * ---------------------------------------------------------------- */
+
+int sl_ok_muli (int a, int b) /* a*b */
+{
+  if (a >= (INT_MIN / b) && a <= (INT_MAX / b))
+    return SL_TRUE; /* no overflow */
+  return SL_FALSE;
+}
+
+int sl_ok_divi (int a, int b) /* a/b */
+{
+  (void) a;
+  if (b != 0)
+    return SL_TRUE; /* no overflow */
+  return SL_FALSE;
+}
+
+int sl_ok_addi (int a, int b) /* a+b */
+{
+  if (a >= 0 && b >= 0)
+    {
+      if (a <= (INT_MAX - b))
+        return SL_TRUE; /* no overflow */
+      else
+        return SL_FALSE;
+    }
+  else if (a < 0 && b < 0)
+    {
+      if (a >= (INT_MIN - b))
+        return SL_TRUE; /* no overflow */
+      else
+        return SL_FALSE;
+    }
+  return SL_TRUE;
+}
+
+int sl_ok_subi (int a, int b) /* a-b */
+{
+  if (a >= 0 && b < 0)
+    {
+      if (a <= (INT_MAX + b))
+        return SL_TRUE; /* no overflow */
+      else
+        return SL_FALSE;
+    }
+  else if (a < 0 && b >= 0)
+    {
+      if (a >= (INT_MIN + b))
+        return SL_TRUE; /* no overflow */
+      else
+        return SL_FALSE;
+    }
+  return SL_TRUE;
+}