Is this an error?

[Jonathan Coxhead]

> Now, it appears that cache_handle is both an int and an int*, which I
> don't think is quite right. 
> 
> A nasty twist to this is that Norcroft doesn't fault it on compiling
> test.c, but GCC does. 
> 
> Am I going mad, or is this a bug?

   Bug!

   I had a report of this while I was the maintainer, but since I never 
used GCC myself (and Norcroft and DefMod both accept it), it was from an 
outside party. I had a go at finding them all, but obviously missed some.

> I count 14 further instances of reuse
> of parameter names in function definitions in various parts of the
> library.

   When this happened in the past, I renamed the 2nd occurrence by appending "_out". 
If you look for "_out" in the .swi files, you'll see quite a few there already.

        /|
 o o o (_|/
        /|
       (_/