Re: Potential bug reports

[Xu Zhongxing]

I attached another bug reports for review.

于 04/01/2012 01:19 PM, Xu Zhongxing 写道:
> I scanned make 3.82 with my static analysis tool, and found 3 potential
> bugs. The bugs are described in attached XML files, each describing the
> trigger path. I reviewed the bugs myself. From the code alone, each is
> possible. But I am not sure if it could happen in practice.
>
> Would you please take a look at the bug reports? Thank you.

<bugreport>
  <file>file.c</file>
<event>
<type>Branch</type>
<location>
<file>file.c</file>
<line>464</line>
</location>
<description>Take the false branch.</description>
<expr>deps == 0</expr>
</event>

<event>
<type>Branch</type>
<location>
<file>file.c</file>
<line>469</line>
</location>
<description>Take the true branch.</description>
<expr>stem</expr>
</event>

<event>
<type>Branch</type>
<location>
<file>file.c</file>
<line>475</line>
</location>
<description>Take the true branch.</description>
<expr>dp != 0</expr>
</event>

<event>
<type>Branch</type>
<location>
<file>file.c</file>
<line>482</line>
</location>
<description>Take the false branch.</description>
<expr>percent</expr>
</event>

<event>
<type>Branch</type>
<location>
<file>file.c</file>
<line>475</line>
</location>
<description>Take the true branch.</description>
<expr>dp != 0</expr>
</event>

<event>
<type>Branch</type>
<location>
<file>file.c</file>
<line>482</line>
</location>
<description>Take the true branch.</description>
<expr>percent</expr>
</event>

<event>
<type>Branch</type>
<location>
<file>file.c</file>
<line>489</line>
</location>
<description>Take the false branch.</description>
<expr>stem[0] == '\x0'</expr>
</event>

<event>
<type>Branch</type>
<location>
<file>file.c</file>
<line>499</line>
</location>
<description>Take the true branch.</description>
<expr>buffer[0] == '\x0'</expr>
</event>

<event>
<type>Branch</type>
<location>
<file>file.c</file>
<line>502</line>
</location>
<description>Take the true branch.</description>
<expr>dp == deps</expr>
</event>

<event>
<type>Branch</type>
<location>
<file>file.c</file>
<line>475</line>
</location>
<description>Take the true branch.</description>
<expr>dp != 0</expr>
</event>

<event>
<type>Trigger</type>
<location>
<file>file.c</file>
<line>478</line>
</location>
<description>Use a memory object after it is freed.</description>
<expr>dp</expr>
</event>

</bugreport>


_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make