Changeset 752a5a in git for Singular/iplib.cc

Timestamp:

Sep 22, 1999, 4:49:37 PM (25 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

560432aa8601a1f4136751b1d867f6c21d03d06e

Parents:

acd64363f3a94a76f781aa7beb80a6853c595eba

Message:

* inserted some assumes


git-svn-id: file:///usr/local/Singular/svn/trunk@3646 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/iplib.cc (modified) (3 diffs)

Singular/iplib.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: iplib.cc,v 1.61 1999-09-22 14:42:33 Singular Exp $ */
+/* $Id: iplib.cc,v 1.62 1999-09-22 14:49:37 obachman Exp $ */
 /*
 * ABSTRACT: interpreter: LIB and help
@@ -197 +197 @@
     *e=ct;
     argstr=iiProcArgs(e,TRUE);
+
+    assume(pi->data.s.body_end > pi->data.s.body_start);
+
     procbuflen = pi->data.s.body_end - pi->data.s.body_start;
     pi->data.s.body = (char *)AllocL( strlen(argstr)+procbuflen+15+
@@ -202 +205 @@
     //Print("Body=%ld-%ld=%d\n", pi->data.s.body_end,
     //    pi->data.s.body_start, procbuflen);
-    if (pi->data.s.body==NULL)
-    {
-      Werror( "unable to allocate proc buffer `%s`", pi->procname );
-      return NULL;
-    }
+    assume(pi->data.s.body != NULL);
     fseek(fp, pi->data.s.body_start, SEEK_SET);
     strcpy(pi->data.s.body,argstr);