Sorry for the noise. Your code is correct. I'm not 100% sure what went wrong. Either the cross function database wasn't built or there is a bug in the published code that is fixed on my private Smatch build. I will investigate. regards, dan carpenter