[Buddy-developers] [ buddy-Bugs-3605234 ] Conflicting declarations of variable bddproduced

[SourceForge.net <no...@so...>]

Bugs item #3605234, was opened at 2013-02-18 16:31
Message generated for change (Tracker Item Submitted) made by alpha7
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=662728&aid=3605234&group_id=112658

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: code
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Michael Tautschnig (alpha7)
Assigned to: Nobody/Anonymous (nobody)
Summary: Conflicting declarations of variable bddproduced

Initial Comment:
While compiling your package with our research compiler infrastructure we noticed the following conflicting declarations:

- kernel.c: long int     bddproduced;
- reorder.c: extern int bddproduced;

For any architecture with sizeof(long)!=sizeof(int) this may cause undefined behaviour. In particular, big endian architectures will inevitably cause wrong counter values.

Best,
Michael

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=662728&aid=3605234&group_id=112658