How to tell GCC that a pointer is non-null?

I’m trying to eliminate warnings from a block of code. It has this function:

How to tell GCC that a pointer is non-null?

I’m trying to eliminate warnings from a block of code. It has this function: