Skip to content

sync from remote upstream#3

Open
evander-wang wants to merge 1447 commits into
evander-wang:mainfrom
vitali87:main
Open

sync from remote upstream#3
evander-wang wants to merge 1447 commits into
evander-wang:mainfrom
vitali87:main

Conversation

@evander-wang

Copy link
Copy Markdown
Owner

sync from remote upstream

vitali87 and others added 30 commits July 8, 2026 19:27
…r cross-file INHERITS resolution, dedupe template function nodes, and require METHOD targets for overrides
…within a file (#660)

* fix(java): resolve nested-class type names referenced by simple name within a file

* refactor(java): scope nested-type search to the module trie subtree
fix(cpp): eliminate remaining dangling edges via pass-2 location reuse and deferred INHERITS resolution
…al-scope calls) (#662)

* fix(dead-code): treat overrides of reachable methods as reachable (virtual dispatch)

* fix(dead-code): expand override reachability transitively to match eval and query

* fix(java): emit OVERRIDES edges for anonymous-class methods to their base type

* fix(java): resolve unqualified calls to the enclosing class before module-wide fallback

* fix(java): cover method-body anonymous classes in override-edge recording

* fix(java): prefer same-file nested class when resolving a superclass name

* fix(java): match method overrides by name and arity across generic type-var renames

* fix(java): bind calls to the arity-matching overload so same-name overloads stay reachable

* fix(java): resolve nested-class static receiver base in field-access chains

* fix(java): include enclosing method in nested-function FQN so def and call passes agree

* fix(dead-code): iterate override-reachability expansion for deep dispatch interleaving

* fix(java): arity-match overloads on inherited and interface methods too

* fix(java): emit anon-override OVERRIDES edge with the node's real label (Function/Method)

* fix(java): resolve unqualified calls inside anonymous overrides against the anon base type

* fix(java): resolve explicit this calls inside anonymous overrides against the anon base
…alls (#664)

* fix(java): resolve cast-expression receivers so casted method calls bind to the cast type

* fix(java): resolve unqualified calls to an anonymous class's own methods (Function nodes)

* fix(java): bind same-arity overloads by argument type

* fix(java): preserve qualified cast types and scope anon-local method fallback to lexical callers

* fix(java): unwrap nested parenthesized cast receivers to the inner cast

* fix(java): resolve parenthesized non-cast identifier receivers through their variable type
vitali87 and others added 30 commits July 11, 2026 17:09
fix(deadcode): root property-family accessors invoked by attribute syntax
fix(parsers): prefix absolute imports when the top-level package shares the repo name
…ences

fix(parsers): unwrap bind, call, and apply to reference the underlying function
fix(deadcode): strip the duplicate-qn marker before name-scoped root rules
test(cpp): pin module attribution for macros used only in evaluated directives
fix(cpp): recover whole-file parse collapse from unbalanced preprocessor branches
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants