I start the bus ride to my brother's place in Kampala this evening. It takes 40+ hours to reach Dar Es Sala am. Then another day to Nairobi and then a third day to Kampala.
Once I did the trip in three days and three nights. There are no toilettes on the bus.
In Lilongwe, internet cafes charge $2 USD per hour. Last year most were charging $4 USD. Hopefully the price has gone down in Kampala as well.
Xuan Ji emailed me with an idea for improving smatch last night.
char buf[10];
if (x < sizeof(buf))
frob();
buf[x] = '\0';
The test for x implies that it's possible for x to be 10. Up to now smatch wasn't taking advantage of that. The old code just said that 'x' could be anything up to a bazillion. I made a new function get_fuzzy_max(x) that returns 10.
One problem is that if you say:
if (x == 10) {...
it assumes get_fuzzy_max() returns 11.
No comments:
Post a Comment