projects
/
satlib.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
bug fix
[satlib.git]
/
glucose-syrup
/
incremental
/
Main.cc
diff --git
a/glucose-syrup/incremental/Main.cc
b/glucose-syrup/incremental/Main.cc
index 6b7ed12b82935246a1c696f4f11cadb91f59088a..9183e8ecb8043c72342ba026b398d0a59d8ab1dd 100644
(file)
--- a/
glucose-syrup/incremental/Main.cc
+++ b/
glucose-syrup/incremental/Main.cc
@@
-67,13
+67,11
@@
int outoffset;
int getInt() {
if (offset>=length) {
int getInt() {
if (offset>=length) {
- ssize_t ptr;
offset = 0;
offset = 0;
- do {
- ptr=read(0, buffer, sizeof(int)*IS_BUFFERSIZE);
- if (ptr == -1 || ptr == 0)
- exit(-1);
- } while(ptr==0);
+ ssize_t ptr=read(0, buffer, sizeof(int)*IS_BUFFERSIZE);
+ if (ptr == -1 || ptr == 0)
+ exit(-1);
+
ssize_t bytestoread=(4-(ptr & 3)) & 3;
while(bytestoread != 0) {
ssize_t p=read(0, &((char *)buffer)[ptr], bytestoread);
ssize_t bytestoread=(4-(ptr & 3)) & 3;
while(bytestoread != 0) {
ssize_t p=read(0, &((char *)buffer)[ptr], bytestoread);