tree bd0a1d8e9f67da954fc41bdba3ddbd140f04b085
parent d676e7ce3c618c9f3ce8d50fce9ef64772e1e677
author James Carter <jwcart2@tycho.nsa.gov> 1485888450 -0500
committer James Carter <jwcart2@tycho.nsa.gov> 1486148552 -0500

checkpolicy: Improve check for identifier flavor mismatch

An identifier flavor mismatch occurs when an identifier is
declared or required as a regular role or type in one place but as
an attribute in another place.

Currently there is only a check for an identifier flavor mismatch
when a type has already been declared and there is a require of
the same type in the same scope. There are no checks if the require
comes first and there are no checks for roles.

Check for an identifier flavor mismatch for both roles and types
whenever a declaration or requirement tries to add an identifier
that is already in the symtab.

Signed-off-by: James Carter <jwcart2@tycho.nsa.gov>