0000888: 14292: warn for unspecified side-effect that are separated by a function call (csmith) - Frama-C Bug Tracking System

Frama-C Bug Tracking System

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

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0000888

Frama-C

Kernel

public

2011-07-25 12:03

2014-02-12 16:54

Reporter

pascal

Assigned To

virgile

Priority

normal

Severity

minor

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

Frama-C GIT, precise the release id

Target Version

Fixed in Version

Frama-C Oxygen-20120901

Summary

0000888: 14292: warn for unspecified side-effect that are separated by a function call (csmith)

Description

~ $ ppc/bin/toplevel.opt -val u.c -unspecified-access
...
u.c:5:[kernel] warning: undefined multiple accesses in expression. assert \separated(& x,& x);
...
~ $ cat u.c
int f(int);

main(){
int x;
x = f(x=2);
}

Tags

No tags attached.

Relationships

Notes
(0002046) pascal (reporter) 2011-07-25 12:42	To clarify, I think there is no need to warn here, but the analysis does (precision bug).

Issue History
Date Modified	Username	Field	Change
2011-07-25 12:03	pascal	New Issue
2011-07-25 12:03	pascal	Status	new => assigned
2011-07-25 12:03	pascal	Assigned To	=> virgile
2011-07-25 12:42	pascal	Note Added: 0002046
2012-03-28 15:24	svn	Checkin
2012-06-10 00:24	yakobowski	Status	assigned => resolved
2012-06-10 00:24	yakobowski	Resolution	open => fixed
2012-09-19 17:15	signoles	Fixed in Version	=> Frama-C Oxygen-20120901
2012-09-19 17:16	signoles	Status	resolved => closed

Copyright © 2000 - 2019 MantisBT Team