Sunday, January 3, 2010

Frist Post!!1!

I am in Lilongwe.

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