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

Bug #1044933 reported by Hans Joachim Desserud on 2012-09-02
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
widelands
Undecided
Unassigned

Bug Description

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

Hans Joachim Desserud (hjd) wrote :
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
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
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
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  Edit
Everyone can see this information.

Other bug subscribers