Project

General

Profile

Actions

Bug #334

closed

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

Added by Pavel Shved over 13 years ago. Updated over 12 years ago.

Status:
Closed
Priority:
Low
Category:
-
Target version:
Start date:
08/03/2010
Due date:
% Done:

0%

Estimated time:
Detected in build:
pre-ldv
Platform:
Published in build:

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.

Actions #1

Updated by Pavel Shved over 13 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!

Actions #2

Updated by Vadim Mutilin over 13 years ago

  • Assignee changed from Pavel Shved to Mikhail Mandrykin
Actions #3

Updated by Vadim Mutilin over 13 years ago

  • Status changed from Feedback to Open
Actions #4

Updated by Vadim Mutilin over 13 years ago

Commited to blast bf52fb0182539b6acbec11ab9d84e852fc1066e7:

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

Actions #5

Updated by Vadim Mutilin over 13 years ago

  • Status changed from Open to Closed
Actions #6

Updated by Pavel Shved over 12 years ago

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

Updated by Pavel Shved over 12 years ago

  • Target version set to 2.6
Actions

Also available in: Atom PDF