PR# 15039 Invoking `equal' as an agent causes a segmentation violation
Problem Report Summary
Submitter: maverick
Category: Compiler
Priority: Medium
Date: 2008/11/23
Class: Bug
Severity: Serious
Number: 15039
Release: 6.3.7.5660
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.0.4) Gecko/2008102920 Firefox/3.0.4
Synopsis: Invoking `equal' as an agent causes a segmentation violation
Description
The postcondition of {ML_SET}.has contains the following subexpression which crashes upon evaluation: hold_count (agent equal ({G} ?, v)).
It also crashes when we inverse the order of the operands. Trying to replace the agent creation with "agent v.is_equal" doesn't work either but this is because the compiler doesn't support it.
The uploaded html files show the exception traces.
To Reproduce
Execute the FINALIZED system and see a crash on the execution of the third line of {TEST_ML_SET}.test_subset.
Needs the espec library which can be obtain from : http://www.cse.yorku.ca/~sel/espec/
Problem Report Interactions
Attachments for problem report #15039