0000077: if((int)(&a+2)) fails to warn about being unspecified

View Issue Details [ Jump to Notes ] [ Related Changesets ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000077

Frama-C

Plug-in > Eva

public

2009-05-05 22:00

2014-02-12 16:56

Reporter

pascal

Assigned To

pascal

Priority

normal

Severity

minor

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

Frama-C GIT, precise the release id

Target Version

Fixed in Version

Frama-C Beryllium-20090601-beta1

Summary

0000077: if((int)(&a+2)) fails to warn about being unspecified

Description

see summary. This is related to bug 76, which is fixed and partially fixes this problem too: at least the condition is correctly analyzed as being 0 or 1. But the policy is to emit an alarm (that is complicated to express, but that's another issue) and to consider the condition to be 1 modulo the verification of the alarm.

Tags

No tags attached.

Attached Files

Relationships

Notes
There are no notes attached to this issue.

Issue History
Date Modified	Username	Field	Change
2009-05-05 22:00	pascal	New Issue
2009-05-05 22:00	pascal	Status	new => assigned
2009-05-05 22:00	pascal	Assigned To	=> pascal
2009-05-06 15:50	svn	Checkin
2009-05-06 15:50	svn	Status	assigned => resolved
2009-05-06 15:50	svn	Resolution	open => fixed
2009-06-23 18:02	signoles	Status	resolved => closed
2009-06-23 18:03	signoles	Fixed in Version	=> Frama-C Beryllium beta-1
2018-01-12 14:26	signoles	Category	Plug-in > value analysis => Plug-in > Eva