Re: [Boost-bugs] [Boost C++ Libraries] #8954: clang static analyser undefined value in boost/libs/filesystem/src/unique_path.cpp

Subject: Re: [Boost-bugs] [Boost C++ Libraries] #8954: clang static analyser undefined value in boost/libs/filesystem/src/unique_path.cpp
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2013-10-28 15:50:06

#8954: clang static analyser undefined value in
boost/libs/filesystem/src/unique_path.cpp
---------------------------+------------------------
  Reporter:  ned14         |      Owner:  bemandawes
      Type:  Bugs          |     Status:  new
 Milestone:  Boost 1.55.0  |  Component:  filesystem
   Version:  Boost 1.54.0  |   Severity:  Problem
Resolution:                |   Keywords:
---------------------------+------------------------

Comment (by ned14):

 The analyser sees this possibility:

 char ran[16];
 nibbles_used=32;
 c=ran[nibbles_used/2];

 Do you see the undefined behaviour now? ran shouldn't be read from
 ran[16].

 Niall

-- 
Ticket URL: <https://svn.boost.org/trac/boost/ticket/8954#comment:3>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.