codegen: Handle pointer types in is_type_ignored()
authorArun Raghavan <ford_prefect@gentoo.org>
Wed, 12 Jan 2011 12:41:23 +0000 (18:11 +0530)
committerEdward Hervey <edward.hervey@collabora.co.uk>
Wed, 12 Jan 2011 14:04:04 +0000 (15:04 +0100)
commit778159a68516a5cd052156a789cbb800b4dac250
tree324adcc89ba1124a1dd051ed2819f3c1d5a61191
parent21a885d462496fa7148abf21f7a24b511bc5f2e0
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
codegen/override.py