Project

General

Profile

Actions

Bug #10773

closed

Do not break field access within assumptions

Added by Evgeny Novikov over 3 years ago. Updated over 3 years ago.

Status:
Closed
Priority:
High
Category:
Results processing
Target version:
Start date:
03/29/2021
Due date:
% Done:

0%

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

Description

Kirill Shilimanov noticed that "IS_ERR(cec->clk_hdmi_cec)" was replaced with "IS_ERR(cec-<=clk_hdmi_cec)" when checking drivers:clk2 for drivers/media/cec/platform/stm32/stm32-cec.ko. This a consequence of heuristic replacement of conditions to take into account their negative forms. In this case we need to use "!" before the expression.

Actions #1

Updated by Evgeny Novikov over 3 years ago

  • Status changed from New to Resolved

Fixed in branch bug-10773. Waits for testing.

Actions #2

Updated by Evgeny Novikov over 3 years ago

  • Status changed from Resolved to Closed

Tests passed and I merged the branch to master in 362c553ed.

Actions

Also available in: Atom PDF