Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Bug]: testInteractive --scope triggers an assert on AtomicObjects #26899

Open
jabraham17 opened this issue Mar 11, 2025 · 0 comments
Open

[Bug]: testInteractive --scope triggers an assert on AtomicObjects #26899

jabraham17 opened this issue Mar 11, 2025 · 0 comments

Comments

@jabraham17
Copy link
Member

I am finding that running only the dyno scope resolver hits an assert on AtomicObjects.

> testInteractive modules/packages/AtomicObjects.chpl --scope
frontend/include/chpl/resolution/scope-types.h:289 in LookupResult] Assertion failed: !nonFunctions_ || found

I ran into this because both chplcheck and chpl-language-server crash when trying to scope resolve this file.

Its far easier to instrument chplcheck, so I added the following to UnusedFormals and found where the bug was being thrown

...
for use, _ in chapel.each_matching(root, Identifier):
            print(use.unique_id(), use.parent().unique_id())
            refersto = use.to_node()
            print(refersto)
...

The assert is being hit when scope resolving ABA. I then removed forwarding this.getObject()!;, which resolved this assert.

I then started getting asserts in AtomicObject.init. Removing all of those inits, I get asserts from AtomicObject.readABA. After this, I gave up looking for a "clean scope resolution"

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant