This is an in-depth optimization providing the compiler with information that arguments are assumed non-NULL when a function is called. This allows to skip the checks in the actual source as long as there are proper checks maintained to ensure valid points for all callers. If a caller lacks such a check that call site will be warned of by the compiler.
This is an in-depth optimization providing the compiler with information that arguments are assumed non-NULL when a function is called. This allows to skip the checks in the actual source as long as there are proper checks maintained to ensure valid points for all callers. If a caller lacks such a check that call site will be warned of by the compiler.