K 10 svn:author V 2 se K 8 svn:date V 27 2016-02-19T16:43:03.234123Z K 7 svn:log V 162 Remove redundant check for "(dinfo != NULL)", it has already been performed as the first part of this complex loop conditional. Found by: PVS Static Analysis END