Project

General

Profile

Actions
Copy link

Bug #334

closed

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

Added by Pavel Shved over 14 years ago. Updated about 13 years ago.

Status:
Closed
Priority:
Low
Assignee:
Mikhail Mandrykin
Category:
-
Target version:
2.6
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
Copy link
 #1

Updated by Pavel Shved about 14 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
Copy link
 #2

Updated by Vadim Mutilin about 14 years ago

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

Updated by Vadim Mutilin about 14 years ago

  • Status changed from Feedback to Open
Actions
Copy link
 #4

Updated by Vadim Mutilin about 14 years ago

Commited to blast bf52fb0182539b6acbec11ab9d84e852fc1066e7:

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

Actions
Copy link
 #5

Updated by Vadim Mutilin about 14 years ago

  • Status changed from Open to Closed
Actions
Copy link
 #6

Updated by Pavel Shved about 13 years ago

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

Updated by Pavel Shved about 13 years ago

  • Target version set to 2.6
Actions
Copy link

Also available in: Atom PDF