PR# 17286 Compiler crushes when a postcondition clause is added or removed
Problem Report Summary
Submitter: nadya_kenguru
Category: Compiler
Priority: Medium
Date: 2011/01/19
Class: Bug
Severity: Serious
Number: 17286
Release: 6.7.8.4760
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US; rv:1.9.2.13) Gecko/20101203 Firefox/3.6.13
Synopsis: Compiler crushes when a postcondition clause is added or removed
Description
Adding or removing postcondition "Result /= Void" in a function in my code crushes the compiler (stack trace is attached).
To Reproduce
I can send you the exact code if needed.