diff options
| author | gingerBill <bill@gingerbill.org> | 2022-01-25 12:39:06 +0000 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2022-01-25 12:39:06 +0000 |
| commit | f6a087775e0a7baf97bce7b1ebb59b223b10d047 (patch) | |
| tree | 759527dbc58d9113f222f2de191549269903dce8 /src/checker.cpp | |
| parent | c0479f1564119603f022f5f3d22dd8dc3a1e5983 (diff) | |
Disable early return from `check_proc_info`
Diffstat (limited to 'src/checker.cpp')
| -rw-r--r-- | src/checker.cpp | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/checker.cpp b/src/checker.cpp index b81d9987b..9be64e369 100644 --- a/src/checker.cpp +++ b/src/checker.cpp @@ -4855,12 +4855,13 @@ bool check_proc_info(Checker *c, ProcInfo *pi, UntypedExprInfoMap *untyped, Proc return false; } - if (pt->is_polymorphic && pt->is_poly_specialized) { - if ((e->flags & EntityFlag_Used) == 0) { - // NOTE(bill, 2019-08-31): It was never used, don't check - return false; - } - } + // NOTE(bill, 2022-01-25): Appears to be not needed any more + // if (pt->is_polymorphic && pt->is_poly_specialized) { + // if ((e->flags & EntityFlag_Used) == 0) { + // // NOTE(bill, 2019-08-31): It was never used, don't check + // return false; + // } + // } bool bounds_check = (pi->tags & ProcTag_bounds_check) != 0; bool no_bounds_check = (pi->tags & ProcTag_no_bounds_check) != 0; |