diff options
| -rw-r--r-- | evaluate.c | 1 | ||||
| -rw-r--r-- | validation/linear/deref-ptr-ptr.c | 1 | ||||
| -rw-r--r-- | validation/linear/unexamined-base-type.c | 1 |
3 files changed, 1 insertions, 2 deletions
@@ -1778,6 +1778,7 @@ static struct symbol *evaluate_dereference(struct expression *expr) node = alloc_symbol(expr->pos, SYM_NODE); target = ctype->ctype.base_type; + examine_symbol_type(target); switch (ctype->type) { default: diff --git a/validation/linear/deref-ptr-ptr.c b/validation/linear/deref-ptr-ptr.c index 022595d7..963acd36 100644 --- a/validation/linear/deref-ptr-ptr.c +++ b/validation/linear/deref-ptr-ptr.c @@ -6,7 +6,6 @@ char *foo(char **pfmt) /* * check-name: deref-ptr-ptr * check-command: test-linearize -m64 -Wno-decl $file - * check-known-to-fail * * check-output-excludes: load[^.] * check-output-contains: load\. diff --git a/validation/linear/unexamined-base-type.c b/validation/linear/unexamined-base-type.c index a138ba13..96aee3f0 100644 --- a/validation/linear/unexamined-base-type.c +++ b/validation/linear/unexamined-base-type.c @@ -28,7 +28,6 @@ static void bar(struct s *d, struct s *s1, struct s *s2) * ^^^ !! WRONG !! * and.32 %r6 <- %r5, $1 * ret.32 %r6 - * check-known-to-fail * * check-output-ignore * check-output-excludes: load[^.] |