C compilation option question

[Kanoj Sarcar <kanojsarcar at yahoo dot com>]

Hi folks,

I am trying gcc to help me do something, but at least
after reading the man pages,
I am not sure if gcc currently supports what I want to
do.

My basic problem is trying to establish complete
parametirization of procedure calls
to eliminate side effects of making procedure calls.
As an example, here's some code:

int testcode(int x, int y)
{
        .....
        z = x + y;
        .....
}

I am looking for a gcc option so that when I compile
the program with that option,
it will give me a warning similar to this:

line 102: z is not a procedure call parameter, neither
is it a local variable.

Is there a simple way to do this currently? Please
direct replies to 
kanojsarcar@yahoo.com.

Thanks.

Kanoj

PS: To be pedantic, I am looking for an option by
which the compilation stage
will spit warnings any time it accesses/updates memory
whose address it did not
directly generate from one of the inputs, as well as
if it is asked to use a 
(global) register that it itself did not set up as
part of the code generation
for the procedure.


__________________________________________________
Do You Yahoo!?
Yahoo! Auctions - buy the things you want at great prices
http://auctions.yahoo.com/