Changeset 5415c5 in git

Timestamp:

Mar 12, 2014, 1:36:34 PM (10 years ago)

Author:

Claus Fieker <fieker@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

4e56502b6def8f585d698b2aeb301eaf4058b84f

Parents:

61512d30240e4647a653e3178b446f24b9caf87a

git-author:

Claus Fieker <fieker@mathematik.uni-kl.de>2014-03-12 13:36:34+01:00

git-committer:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2014-03-12 16:45:57+01:00

Message:

add assumes to prevent accidental use of mor than 8 StringSetS or too
many StringEndS'es

File:

• libpolys/reporter/reporter.cc (modified) (2 diffs)

libpolys/reporter/reporter.cc

@@ -135 +135 @@
   feBufferStart=feBuffer;
   feBuffer_cnt++;
+  assume(feBuffer_cnt<8);
   int l;
   long more;
@@ -152 +153 @@
   char *r=feBuffer;
   feBuffer_cnt--;
+  assume(feBuffer_cnt >=0);
   feBuffer=feBuffer_save[feBuffer_cnt];
   feBufferLength=feBufferLength_save[feBuffer_cnt];