Hi Bruno, Bruno Haible writes: > > > Potential drawback of this approach is that these declarations may affect > > the implementation as well: there is a risk that compiler may optimize out > > NULL checks. In other projects where this issue arose before it was > > worked around by disabling non-null declarations in implementation scope. > > I'm glad you mention this. Indeed, the gcc doc says > "The compiler may also choose to make optimizations based > on the knowledge that certain function arguments will not be null."
thanks for all your work on this! You might want to compile gnulib with -fno-delete-null-pointer-checks for compilers that understand this flag. Cheers, Ralf
