Semantic analyser wait until final pass to declare invalid field accesses

src/ast/semantic_analyser.cpp

@@ -282,9 +282,11 @@ void SemanticAnalyser::visit(FieldAccess &acc)
   acc.expr->accept(*this);
 
   if (acc.expr->type.type != Type::cast) {
-    err_ << "Can not access field '" << acc.field
-         << "' on expression of type '" << acc.expr->type
-         << "'" << std::endl;
+    if (is_final_pass()) {
+      err_ << "Can not access field '" << acc.field
+           << "' on expression of type '" << acc.expr->type
+           << "'" << std::endl;
+    }
     return;
   }
 

tests/semantic_analyser.cpp

@@ -346,7 +346,7 @@ TEST(semantic_analyser, field_access_wrong_field)
 
 TEST(semantic_analyser, field_access_wrong_expr)
 {
-  test("kprobe:f { 1234->field }", 1);
+  test("kprobe:f { 1234->field }", 10);
 }
 
 TEST(semantic_analyser, field_access_types)