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

LLVM assert on proc groups #4362

Open
hortatoris opened this issue Oct 10, 2024 · 0 comments
Open

LLVM assert on proc groups #4362

hortatoris opened this issue Oct 10, 2024 · 0 comments

Comments

@hortatoris
Copy link

Context

        4e07d3f
        Odin:    dev-2024-10
        OS:      Windows 10 Professional (version: 22H2), build 19045.5011
        CPU:     11th Gen Intel(R) Core(TM) i5-1135G7 @ 2.40GHz
        RAM:     16086 MiB
        Backend: LLVM 18.1.8

Current Behavior

LLVM assertion fires with Odin\src\check_expr.cpp(6457): Assertion Failure: `is_type_proc(proc_type)`

Failure Information (for bugs)

Steps to Reproduce

foo :: proc {
  foo_a,
  foo_b,
}

foo_a :: proc(a, b: int) -> int {
  return a;
}

foo_b :: proc(a, b: int) -> int {
  return a;
}

main :: proc() {
  x := foo(1);
}

The assertion happens if you call the proc. Otherwise it shows the error with
Error: Overloaded procedure 'foo_a' has the same type as another procedure in the procedure group 'foo' and so on.
The assertion doesn't happen if you have only one parameter in the procs.

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

No branches or pull requests

1 participant