0000125: Warn about multiple unsequenced modifications

Viewing Issue Simple Details [ Jump to Notes ]

[ View Advanced ] [ Issue History ] [ Print ]

Category

Severity

Reproducibility

Date Submitted

Last Update

0000125

[cparser] warnings

feature

always

2013-10-25 08:27

2014-09-29 10:38

Reporter

UniQ

View Status

public

Assigned To

Priority

low

Resolution

open

Status

confirmed

Product Version

Summary

0000125: Warn about multiple unsequenced modifications

Description

The attached program contains the following statement, which results in undefined behavior:
a = a++;

Currently, cparser lacks a warning for this case.

Additional Information

gcc -m32 -Wall -Wextra undef.c
undef.c: In function ‘main’:
undef.c:6:4: warning: operation on ‘a’ may be undefined [-Wsequence-point]
  a = a++;
    ^

clang -m32 -Wall -Wextra undef.c
undef.c:6:7: warning: multiple unsequenced modifications to 'a' [-Wunsequenced]
        a = a++;
          ~ ^

Tags

No tags attached.

Attached Files

undef.c [^] (95 bytes) 2013-10-25 08:27

Relationships

There are no notes attached to this issue.

Issue History
Date Modified	Username	Field	Change
2013-10-25 08:27	UniQ	New Issue
2013-10-25 08:27	UniQ	File Added: undef.c
2014-09-29 10:38	Matze	Status	new => confirmed

Mantis 1.1.5[^]