PR# 19474 Incorrect report of code analysis rule CA048 violation

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2018/10/17
Class: Bug
Severity: Serious
Number: 19474
Release: 18.07
Confidential: No
Status: Open
Responsible:
Environment: linux
Synopsis: Incorrect report of code analysis rule CA048 violation

Description
Estudio reports false positives for CA048 rule. 
To Reproduce
Compile with attached class and config file.
Enable rule Fixed Attribute Value (CA048).
Analyze target "test".
Incorrectly reports violation of CA048.  Attribute `last_value' definitely cannot be made a constant,
since executing the system and entering a valid real number at the prompt sets `last_value'
to a value other than 0.
Problem Report Interactions
From:prestoat2000    Date:2018/10/17    Download   
Attachments for problem report #19474

Attachment: test.ecf     Size:887
Attachment: test.e     Size:323