ISSUE 230

Number 230
Category errata
Synopsis function_loop_statement should not allow "forever"?
State closed
Class mistaken
Arrival-DateDec 24 2002
Originator Shalom.Bresticker@motorola.com
Release 2001b: 9.6 (Syntax 9-7), A.6.8
Environment
Description

function_loop_statement (Syntax 9-7 (9.6), A.6.8)
allows the "forever" construct.

That would seem to be wrong since functions must execute
in a single time point and return.
Fix
Not a problem
Audit-Trail

From: Steven Sharp <sharp@cadence.com>
To: etf-bugs@boyd.com, Shalom.Bresticker@motorola.com
Cc:
Subject: Re: errata/230: PROPOSAL - function_loop_statement should not allow "forever"?
Date: Mon, 6 Jan 2003 13:41:26 -0500 (EST)

A forever loop is perfectly legal inside a function.

Even if it were the responsibility of the language definition to try to
disallow infinite loops inside functions, a forever loop is not necessarily
infinite. A disable statement can exit it.

Steven Sharp
sharp@cadence.com

Unformatted


Hosted by Boyd Technology