Changeset f115489 in git for kernel/longtrans.cc

Timestamp:

Apr 4, 2011, 5:33:01 PM (13 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

411e00284c145360dd10ef3b78b69b0e3f3d5e0f

Parents:

8047af8c8db1aff17222fa052c81d384e6e62769

Message:

ADD: bugtest for ntIntDiv & p_Content using syzextra

From: Oleksandr Motsak <motsak@mathematik.uni-kl.de>

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

File:

• kernel/longtrans.cc (modified) (2 diffs)

kernel/longtrans.cc

@@ -1372 +1372 @@
 number ntIntDiv(number la, number lb)
 {
+  ntTest(la);
+  ntTest(lb);
   lnumber res;
   lnumber a = (lnumber)la;
@@ -1384 +1386 @@
     return NULL;
   }
+#ifdef LDEBUG
+  omCheckAddrSize(a,sizeof(snumber));
+  omCheckAddrSize(b,sizeof(snumber));
+#endif
   assume(a->z!=NULL && b->z!=NULL);
   assume(a->n==NULL && b->n==NULL);