widelands

Branch condition evaluates to a garbage value in io/filesystem/filesystem.cc

Bug #1044933 reported by Hans Joachim Desserud
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
widelands
Fix Released
Undecided
Unassigned
widelands build18-rc1

Bug Description

Found by the clang static analyzer. See attachment for details.

Tags: filesystem
Revision history for this message
Hans Joachim Desserud (hjd) wrote :
Revision history for this message
Hans Joachim Desserud (hjd) wrote :

Slightly updated report from clang 3.2. Still same issue, though but the lines have shifted a bit and we get slightly more detailed error message.

summary: - Branch condition evaluates to a garbage value
+ Branch condition evaluates to a garbage value in
+ io/filesystem/filesystem.cc
Revision history for this message
SirVer (sirver) wrote :

assert(p). Makes no sense to call this function with a NULL pointer and i bet it never happens in the code base.

Changed in widelands:
status: New → Triaged
Revision history for this message
Hans Joachim Desserud (hjd) wrote :

No longer shows up in recent reports, looks like it may have been fixed with the changes in r6491.

Changed in widelands:
milestone: none → build18-rc1
status: Triaged → Fix Committed
Revision history for this message
SirVer (sirver) wrote :

Released in build-18 rc1.

Changed in widelands:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.