[clang] [Clang] Diagnose forming references to nullptr (PR #143667)

[Shafik Yaghmour via cfe-commits]

================
@@ -1321,3 +1321,24 @@ constexpr bool check = different_in_loop();
   // expected-error@-1 {{}} expected-note@-1 {{in call}}
 
 }
+
+namespace GH48665 {
+constexpr bool foo(int *i) {
----------------
shafik wrote:

Other tests: https://godbolt.org/z/o66Gr3fc8

```cpp
struct A {
   int &r;
};

struct B {
  constexpr B(int *p) : r{*p} {
  }  
  int &r;
};

constexpr bool f(int *i) {
    int *p = new int;
    delete p;
    int &r = *p;

    
    A a{*i};
    B b(i);

    return true;
}

static_assert(f(nullptr), "");
```

https://github.com/llvm/llvm-project/pull/143667
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits