Comptime cyclic globals stack overflow

[michaeljklein]

Aim

Attempted to compile a program with comptime cyclic globals:

comptime global A: u32 = B;
comptime global B: u32 = A;

fn main() { }

Expected Behavior

Compilation to fail with a user error

Bug

Compilation results in a stack overflow:

❯ ~/.nargo/bin/nargo compile

thread '<unknown>' has overflowed its stack
fatal runtime error: stack overflow
[1]    257937 IOT instruction (core dumped)  ~/.nargo/bin/nargo compile

To Reproduce

Workaround

None

Workaround Description

No response

Additional Context

No response

Project Impact

None

Blocker Context

No response

Nargo Version

nargo version = 0.39.0 noirc version = 0.39.0+df8f2eee5c27d3cd4b6128056afdd9bd4a0322fe (git version hash: df8f2ee, is dirty: false)

NoirJS Version

No response

Proving Backend Tooling & Version

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response