Calysto v1.5 reports on ssh v4.6p1

[Domagoj Babic]

New version of Calysto reports a warning that looks like a bug to me:

------------------------------------------
Possible NULL-ptr deref (vc27053):
@/work/projects/llvm/tools/Calysto/IfaceSpecs/clib.c:1823
Bug: ??
Explanation:

choose_dh (dh.c:111) calls fopen twice (@120). If the first call to
fopen fails (returns NULL), but the second one succeeds, fgets (@129) is
called with f==NULL.
------------------------------------------

Can anyone confirm that this is a potential issue?

Thx,

-- 
        Domagoj Babic

        http://www.domagoj.info/
        http://www.calysto.org/