|
@@ -8087,7 +8087,10 @@ gb_internal ExprKind check_call_expr(CheckerContext *c, Operand *operand, Ast *c
|
|
GB_ASSERT(c->curr_proc_decl->entity->type->kind == Type_Proc);
|
|
GB_ASSERT(c->curr_proc_decl->entity->type->kind == Type_Proc);
|
|
String scope_features = c->curr_proc_decl->entity->type->Proc.enable_target_feature;
|
|
String scope_features = c->curr_proc_decl->entity->type->Proc.enable_target_feature;
|
|
if (!check_target_feature_is_superset_of(scope_features, pt->Proc.enable_target_feature, &invalid)) {
|
|
if (!check_target_feature_is_superset_of(scope_features, pt->Proc.enable_target_feature, &invalid)) {
|
|
|
|
+ ERROR_BLOCK();
|
|
error(call, "Inlined procedure enables target feature '%.*s', this requires the calling procedure to at least enable the same feature", LIT(invalid));
|
|
error(call, "Inlined procedure enables target feature '%.*s', this requires the calling procedure to at least enable the same feature", LIT(invalid));
|
|
|
|
+
|
|
|
|
+ error_line("\tSuggested Example: @(enable_target_feature=\"%.*s\")\n", LIT(invalid));
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|