Skip to content

compiler failed due to incorrect array assignments #1380

@Subway2023

Description

@Subway2023

Environment

  • Compiler version: 0.8.8
  • Operating system: ubuntu

Steps to Reproduce

def main() -> field[1][2] {
    field[1][2] mut b=[0][0];
    return b;
}
zokrates compile -i ./test_bug.zok

The compiler unexpectedly panicked
panicked at zokrates_core/src/semantics.rs:3162:50:
internal error: entered unreachable code
This is unexpected, please submit a full bug report at https://github.com/Zokrates/ZoKrates/issues

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions