This:
int* p = nullptr;
auto tmp = *p;
不会导致gcc 4.6和VS2010 sp1发出至少一个警告。在这些编译器中是否有任何选项使它们在这种情况下发出警告?我在VS中使用/w4进行测试编译。
这并不违法，这只是未定义的行为。
对此打开警告可能会导致错误的安全感，因为通常直到运行时才知道某个指针是否指向nullptr或其他东西。Valgrind可以检查这些错误(以及更多)。
在Visual Studio 2010 SP1(不知道需要哪个版本)中运行代码分析。我刚刚尝试了你的确切代码，它显示警告6011:
warning C6011: NULL-Zeiger "p" wird dereferenziert.: Lines: 138, 139
"像这样的情况"是相当模糊的，它需要编译器从每一个反引用中回溯，看看它是否能证明它知道指针有一个常量，无效的值。
考虑程序的其他部分可能被赋予指向该指针的指针(别名)，并在不同的代码路径中覆盖它，或者(更糟)在不同的线程中覆盖它。
它不容易检测，而且我认为在实际程序的编译时间方面的成本会使它不值得，即使它可以通过合理的工作量来实现。
valgrind可以指出这一点。我用它来检查这种模糊的情况，以及无效的读/写。
这是运行时错误，而不是编译时错误。编译器只能在非常有限的情况下捕捉到这样的解引用，在这种情况下，它可以完全确定指针的值。没有必要增加复杂性。
这是一个未定义的行为。这意味着编译器不需要发出警告或错误。
解除空指针的引用是未定义的行为。编译器可以诊断这种情况，但不是必须的。