CFG_TEE_CORE_LOG_LEVEL=0 DEBUG=0 is now up in Travis

Signed-off-by: Pascal Brand <pascal.brand@st.com>
You're right. Indeed, the code of this function is:

 	/* Make a crash on purpose as this is not implemented yet */
 	int *p = 0;
 	*p = 1;

Unfortunately, the compiler is too bright, and see that it will crash, so that the function does not return.

Should I only consider this warning as a real warning, and not as an error?