Arun Raghavan 778159a685 codegen: Handle pointer types in is_type_ignored()
This ensures that if type X is ignored, then pointers to X (and pointers
to pointers to X, etc.) are also ignored.

Caveat: this also means that ignore-type should only be used with base
types and not pointer types.

Fixes #639293
2011-01-12 15:04:04 +01:00
..