¿Por qué el compilador no advierte "devolver la dirección de la variable local o temporal" al devolver una referencia local a una variable local?

Question

Esto ocurre al compilar el siguiente código en Visual Studio 2010. Mi pregunta es: el compilador de C++ advertirá si una función devuelve la dirección de una variable local, pero ¿por qué no avisa al devolver una referencia local a una variable local? ?

¿Sigue siendo incorrecto (devolver una referencia local a una variable local), pero solo que el compilador no pudo detectarlo? El examen de las direcciones de 'num' y 'r' revela que comparten la misma ubicación de memoria.

#include <iostream> 
using namespace std; 

int & intReference() { 
    int num = 5; 
    int &r = num; 
    cout << "\nAddress of num: " << &num; 

    //return num; // Compiler warning: C4172: returning address of local variable or temporary 
    return r; // No warning? 
} 

void main() { 
    int &k = intReference(); 
    cout << "\nk = " << k; // 5 
    cout << "\nAddress of k: " << &k; // same address as num 

    char c; 
    cin.get(c); 
} 

Answer 1

Sí, sigue siendo incorrecto.

El compilador no puede detectar todos los casos en los que está haciendo cosas peligrosas (o ilegales). Advierte cuando los encuentra, pero no puede identificar todos los casos (y no tiene por qué).