C6011
Aviso C6011: <name> de ponteiro nulo de referência
Este aviso indica que um ponteiro nulo referência está sendo cancelado. Se o valor do ponteiro for inválido, o resultado é indefinido.
Exemplo
O código a seguir gera este aviso porque uma chamada para malloc pode retornar null se não houver memória suficiente:
#include <malloc.h>
void f( )
{
char *p = ( char * ) malloc( 10 );
*p = '\0';
// code ...
free( p );
}
Para corrigir esse aviso, examine o ponteiro para o valor nulo, conforme mostrado no código a seguir:
#include <malloc.h>
void f( )
{
char *p = ( char * )malloc ( 10 );
if ( p )
{
*p = '\0';
// code ...
free( p );
}
}
Você deve alocar memória dentro da função cujos parâmetros são anotados usando-se a propriedade nulo em uma pré-condição antes do parâmetro de referência. O seguinte código gera o aviso de C6011, porque é feita uma tentativa de referência a um ponteiro nulo (pc) dentro da função sem primeira memória alocando:
#include <codeanalysis\sourceannotations.h>
using namespace vc_attributes;
void f([Pre(Null=Yes)] char* pc)
{
*pc='\0'; // warning C6011 - pc is null
// code ...
}