[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gnugo-devel] Potential bug in GNU Go
From: |
Michael Pradel |
Subject: |
[gnugo-devel] Potential bug in GNU Go |
Date: |
Fri, 2 Dec 2011 15:23:07 +0100 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.15) Gecko/20110402 Lightning/1.0b2 Icedove/3.1.9 |
Hi,
I'm a researcher at ETH Zurich working on automated bug finding tools,
one of which found a potential bug in GNU Go. Since I'm not familiar
with the GNU Go code, I can't say for sure whether it's really a bug or
simply an unusal piece of code.
Anyway, I'd like to inform you about it and would be interested to hear
back whether it is a bug or not! :-)
In patterns.c of version 3.9.1, there are various calls to
defend_against(). For most of them, the first argument is called 'move',
while for three calls (lines 9524, 9562, and 10866) the 'move' argument
is passed as the last of the three arguments. That is, the names of the
arguments suggest another ordering than the names of the formal parameters.
Are these calls correct?
Thanks and best regards,
Michael
signature.asc
Description: OpenPGP digital signature
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [gnugo-devel] Potential bug in GNU Go,
Michael Pradel <=