> I thought this technique is based on function references, so that if there
> is a switch-case or an if structure where the condition cannot be calculated
> or predicted at compile time, then the compiler will not be able to tell
> when is the function going to be called, so it assumes that at any point the
> function name was referenced?

Yes.

Would you (in the case you sketch) sleep well with a stack allocated 
based on your assumption?

But I have to agree, there are cases where the 'worst case' won't be 
reached.

-- 

Wouter van Ooijen

-- -------------------------------------------
Van Ooijen Technische Informatica: www.voti.nl
consultancy, development, PICmicro products
docent Hogeschool van Utrecht: www.voti.nl/hvu

-- 
http://www.piclist.com PIC/SX FAQ & list archive
View/change your membership options at
http://mailman.mit.edu/mailman/listinfo/piclist