Project

General

Profile

Bug #7313

Analysis for input/output parameters

Added by Mikhail Chupilko about 3 years ago.

Status:
New
Priority:
High
Category:
-
Target version:
-
Start date:
06/20/2016
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

The newest engine calculating whether this or that operation's interface register is input or output has a bug. It doesn't take into account static parameters of suboperation calls. E.g., loads and stores use the same subfunction and set MEM_LOAD or MEM_STORE parameter value respectively. If both operations use the same register to keep data to store and to show read data in case of loads, this register will be considered as being IN_OUT despite the fact that reading and writing into the register are located in different branches of one if-then-else construction. It results in preparation of output registers.

Also available in: Atom PDF