C51: Does ENUM Type Checking Work?

QUESTION

I use a lot of enums in my C code. Does the C compiler perform type checking for enums to validate? I need to know that I'm using correct enums for certain variables. For example:

enum apple { MAC, GRANNY, WASH_ST };
enum pear { GREEN, BROWN, BARTLETT };

static void func(enum apple a, enum pear p);

func (BARTLETT, MAC);

The above code generates no warnings when BARTLETT is passed for the enum apple parameter. Is this correct?

ANSWER

Yes. This is correct. Currently, C51 does not perform type checking for enumerations.

PC-Lint performs this type of error checking and it can easily be integrated into the µVision IDE.

Last Reviewed: Thursday, February 25, 2021