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

diff --git a/codegen/override.py b/codegen/override.py
index 2e8c6a4..fde8f4f 100644 (file)
--- a/codegen/override.py
+++ b/codegen/override.py
@@ -220,7 +220,7 @@ class Overrides:
         return 0
 
     def is_type_ignored(self, name):
-        return name in self.type_ignores
+        return name.rstrip('*') in self.type_ignores
 
     def is_overriden(self, name):
         return self.overrides.has_key(name)