throw(), pure and const flags on functions

[Mark Mitchell]

Gabriel Dos Reis wrote:

> Many of the C functions we call are standard C functions.

But some probably are not.  So, annotations are still useful in some cases.

-- 
Mark Mitchell
CodeSourcery
mark@codesourcery.com
(650) 331-3385 x713