PR# 19717 Segmentation violation for unknown reason

Problem Report Summary
Submitter: rosivaldo
Category: Compiler
Priority: Medium
Date: 2021/02/11
Class: Bug
Severity: Serious
Number: 19717
Release: - win64
Confidential: No
Status: Open
Environment: win64 (mingw)
Synopsis: Segmentation violation for unknown reason

Segmentation violation raised while checking a post-condition.
To Reproduce
Compile and run the attached system. The segmentation violation shall be raised when checking the clause

definition: attached Two.complex_product (I),

inside {APPLICATION}.make. More specifically, it occurs at the "real" post-condition clause of {INTEGER_NUMBER_IMPL}.complex_product, just after returning from {INTEGER_NUMBER_IMPL}.identity.
Problem Report Interactions
From:rosivaldo    Date:2021/02/11    Download   
Attachments for problem report #19717

Attachment: broken_identity.7z     Size:5469