Project

General

Profile

Actions

Bug #7313

open

Analysis for input/output parameters

Added by Mikhail Chupilko almost 8 years ago. Updated about 1 year ago.

Status:
New
Priority:
Normal
Category:
Test Engine
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.

Actions #1

Updated by Alexander Kamkin about 4 years ago

  • Category set to Test Engine
  • Assignee changed from Andrei Tatarnikov to Alexander Kamkin
  • Target version set to 2.5
Actions #2

Updated by Alexander Kamkin about 4 years ago

  • Priority changed from High to Normal
Actions #3

Updated by Alexander Protsenko about 1 year ago

  • Target version changed from 2.5 to 2.6
Actions

Also available in: Atom PDF