Bug #334

Bool-to-int casting in function call assignments doesn't work

Added by Pavel Shved almost 2 years ago. Updated 8 months ago.

Status:Closed Start date:08/03/2010
Priority:Low Due date:
Assignee:Михаил Мандрыкин % Done:

0%
Category:-
Target version:2.6
Detected in build:pre-ldv Published in build:
Platform:

Description

Currently assertion is implemented as ternary operator in our rule models. It is not a function, because of this bug.

When calling functions as func(a == b), BLAST fails (at yet unknown point) to properly assign a result of boolean expression to the actual parameter of the function. This leads to false positives.

History

#1
Updated by Pavel Shved over 1 year ago

  • Status changed from Open to Feedback

Note: this issue may have gone after Misha's fixes that concern processing of booleans. We need to check this!

#2
Updated by Vadim Mutilin over 1 year ago

  • Assignee changed from Pavel Shved to Михаил Мандрыкин

#3
Updated by Vadim Mutilin over 1 year ago

  • Status changed from Feedback to Open

#4
Updated by Vadim Mutilin over 1 year ago

Commited to blast bf52fb0182539b6acbec11ab9d84e852fc1066e7:

Fixes in instruction statements treatment in transformLExprs visitor in blastCilInterface.ml

#5
Updated by Vadim Mutilin over 1 year ago

  • Status changed from Open to Closed

#6
Updated by Pavel Shved 8 months ago

  • Project changed from Linux Driver Verification to BLAST
  • Category deleted (BLAST)

#7
Updated by Pavel Shved 8 months ago

  • Target version set to 2.6

Also available in: Atom PDF