Part-select in constant function return isn't allowed #916
Labels
resolution: fixed
Closed; fixed
type: feature-IEEE
Request to add new feature, described in IEEE 1800
Author Name: Andrew Bardsley
Original Redmine Issue: 916 from https://www.veripool.org
Original Date: 2015-05-06
Original Assignee: Wilson Snyder (@wsnyder)
Assigning to a function's return variable (function name) with a part-select prevents the function from being considered constant.
Produces:
Testing with version 3.870 and with the git HEAD produce the same result.
The text was updated successfully, but these errors were encountered: