Fix DCE for this.field.method() pattern

The dead code elimination was not tracking string/array method usage when methods were called on class fields like this.source.len(). Now properly calls _check_method() when field class is unknown.

Fix DCE for this.field.method() pattern
dbd5bb5d · Roman Alifanov · daedc86a · dbd5bb5d
Commit dbd5bb5d authored Feb 17, 2026 by Roman Alifanov
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

dce.py bootstrap/dce.py +4 -0

No files found.
--- a/bootstrap/dce.py
+++ b/bootstrap/dce.py
@@ -292,12 +292,16 @@ class UsageAnalyzer:
            elif isinstance(callee.object, MemberAccess) and isinstance(callee.object.object, ThisExpr):
                field_name = callee.object.member
                method = callee.member
+                found_field_class = False
                for cls_name, fields in self.class_fields.items():
                    if field_name in fields and fields[field_name]:
                        field_class = fields[field_name]
                        if field_class not in self.used_methods:
                            self.used_methods[field_class] = set()
                        self.used_methods[field_class].add(method)
+                        found_field_class = True
+                if not found_field_class:
+                    self._check_method(method)

            elif isinstance(callee.object, CallExpr):
                self._analyze_call(callee.object)