[gnugo-devel] Potential bug in GNU Go

[Michael Pradel]

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