aboutsummaryrefslogtreecommitdiffhomepage
path: root/compiler/ircheck/check.go
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/ircheck/check.go')
-rw-r--r--compiler/ircheck/check.go5
1 files changed, 1 insertions, 4 deletions
diff --git a/compiler/ircheck/check.go b/compiler/ircheck/check.go
index 30c6ee172..e2b7ed510 100644
--- a/compiler/ircheck/check.go
+++ b/compiler/ircheck/check.go
@@ -70,10 +70,7 @@ func (c *checker) checkType(t llvm.Type, checked map[llvm.Type]struct{}, special
return fmt.Errorf("failed to verify element type of array type %s: %s", t.String(), err.Error())
}
case llvm.PointerTypeKind:
- // check underlying type
- if err := c.checkType(t.ElementType(), checked, specials); err != nil {
- return fmt.Errorf("failed to verify underlying type of pointer type %s: %s", t.String(), err.Error())
- }
+ // Pointers can't be checked in an opaque pointer world.
case llvm.VectorTypeKind:
// check element type
if err := c.checkType(t.ElementType(), checked, specials); err != nil {