ed/Odin
1
0
Fork 0
mirror of https://github.com/Ed94/Odin.git synced 2026-08-06 15:48:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

And extra safety checks

Browse Source
This commit is contained in:
gingerBill
2025-09-27 14:13:16 +01:00
parent 27d9ab5dd8
commit af83c30b6f
1 changed files with 9 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/check_stmt.cpp
+9 -2
View File
@@ -2545,7 +2545,7 @@ gb_internal void check_if_stmt(CheckerContext *ctx, Ast *node, u32 mod_flags) {
// This needs to be improved tremendously, and a lot of it done during the // This needs to be improved tremendously, and a lot of it done during the
// middle-end (or LLVM side) to improve checks and error messages // middle-end (or LLVM side) to improve checks and error messages
void check_unsafe_return(Operand const &o, Type *type, Ast *expr) { void check_unsafe_return(Operand const &o, Type *type, Ast *expr) {
auto unsafe_return_error = [](Operand const &o, char const *msg, Type *extra_type=nullptr) { auto const unsafe_return_error = [](Operand const &o, char const *msg, Type *extra_type=nullptr) {
gbString s = expr_to_string(o.expr); gbString s = expr_to_string(o.expr);
if (extra_type) { if (extra_type) {
gbString t = type_to_string(extra_type); gbString t = type_to_string(extra_type);
@@ -2557,6 +2557,10 @@ void check_unsafe_return(Operand const &o, Type *type, Ast *expr) {
gb_string_free(s); gb_string_free(s);
}; };
if (type == nullptr || expr == nullptr) {
return;
}
if (expr->kind == Ast_CompoundLit && is_type_slice(type)) { if (expr->kind == Ast_CompoundLit && is_type_slice(type)) {
ast_node(cl, CompoundLit, expr); ast_node(cl, CompoundLit, expr);
if (cl->elems.count == 0) { if (cl->elems.count == 0) {
@@ -2600,7 +2604,10 @@ void check_unsafe_return(Operand const &o, Type *type, Ast *expr) {
for (Ast *elem : cl->elems) { for (Ast *elem : cl->elems) {
if (elem->kind == Ast_FieldValue) { if (elem->kind == Ast_FieldValue) {
ast_node(fv, FieldValue, elem); ast_node(fv, FieldValue, elem);
check_unsafe_return(o, entity_of_node(fv->field)->type, fv->value); Entity *e = entity_of_node(fv->field);
if (e != nullptr) {
check_unsafe_return(o, e->type, fv->value);
}
} }
} }
} }