Post #3473464

C idea: [[null_if_unused]] annotation on a pointer parameter that tells the compiler that the behaviour of the function if this parameter is null is equivalent if the pointer is never subsequently read through by the caller