Bug #334

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

Added by Pavel Shved over 7 years ago. Updated about 6 years ago.

Status:ClosedStart date:08/03/2010
Priority:LowDue date:
Assignee:Mikhail Mandrykin% 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 about 7 years 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 about 7 years ago

  • Assignee changed from Pavel Shved to Mikhail Mandrykin

#3 Updated by Vadim Mutilin about 7 years ago

  • Status changed from Feedback to Open

#4 Updated by Vadim Mutilin about 7 years ago

Commited to blast bf52fb0182539b6acbec11ab9d84e852fc1066e7:

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

#5 Updated by Vadim Mutilin about 7 years ago

  • Status changed from Open to Closed

#6 Updated by Pavel Shved about 6 years ago

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

#7 Updated by Pavel Shved about 6 years ago

  • Target version set to 2.6

Also available in: Atom PDF