nathan@xxxxxxxxxxxxxxxx (Nathan Sidwell) wrote on 24.10.05 in <435CA8DD.20902@xxxxxxxxxxxxxxxx>: > Lars Luthman wrote: > > Is there a way, using GCC, to add 'properties' or 'flags' to C and C++ > > functions and generate warnings or error messages when a function with a > > certain property (for example 'realtime safe') tries to call a function > > that does not have that property? > > GCC does not have such a feature. Hmm. Can "sparse" do that? I know it can follow data structures in different memory spaces ... (That's the tool Linus wrote to check Linux kernel sources.) MfG Kai
