diff options
| author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-04-01 10:41:53 -0400 |
|---|---|---|
| committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-04-01 10:41:53 -0400 |
| commit | e7825e70d532d16f1598eaa598342af373716418 (patch) | |
| tree | d29fa3899d7d141da8fe91ee5ae1cd252b3d7e7b /all.h | |
| parent | 6a2c88054318290f4b4aeb6f24d710a3f99c6415 (diff) | |
| download | roux-e7825e70d532d16f1598eaa598342af373716418.tar.gz | |
tradeoff the type of bsiter()
int is used all over the place for temporaries, maybe this should be changed, I don't know. Another thing to consider is that temporaries are currently on 12 bits (and will be on 29 or 30 bits in the future), so int will always be safe to store them. We just loose the free invariant of non-negativity.
Diffstat (limited to 'all.h')
| -rw-r--r-- | all.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/all.h b/all.h index a140ef4..cecc754 100644 --- a/all.h +++ b/all.h @@ -510,7 +510,7 @@ void bsunion(BSet *, BSet *); void bsinter(BSet *, BSet *); void bsdiff(BSet *, BSet *); int bsequal(BSet *, BSet *); -int bsiter(BSet *, uint *); +int bsiter(BSet *, int *); static inline int bshas(BSet *bs, uint elt) |