| commit | 309f2d71bf2d07c521fcd9ce4108427ec82a7f6d | [log] [tgz] |
|---|---|---|
| author | Dani Ferreira Franco Moura <danimoura@google.com> | Tue Nov 15 07:09:00 2022 -0800 |
| committer | Copybara-Service <copybara-worker@google.com> | Tue Nov 15 07:09:52 2022 -0800 |
| tree | 5cdad5de9a9da3803cd9db8f7a8c7da51bb40c27 | |
| parent | 5c081b2fe10f592050c9fde2c5a3537291261e96 [diff] |
Make nullability verification work for simple template-instantiated methods.
When a method of a class template instatiation returns exactly a template parameter, we can propagate the nullability of the template argument into the return type.
For example, we can now warn on the following pointer dereference:
```
template<typename Elt>
struct vec {
Elt first();
};
void target(vec<int * _Nullable> xs) {
*xs.first(); // [[unsafe]]
}
```
PiperOrigin-RevId: 488649171
Extremely experimental interop tooling for C++ and Rust.
Please don‘t use, this is an experiment and we don’t yet know where will it take us. There will be breaking changes without warning. Unfortunately, we can't take contributions at this point.
$ apt install clang lld bazel $ git clone git@github.com:google/crubit.git $ cd crubit $ bazel build --linkopt=-fuse-ld=/usr/bin/ld.lld //rs_bindings_from_cc:rs_bindings_from_cc_impl
$ git clone https://github.com/llvm/llvm-project $ cd llvm-project $ CC=clang CXX=clang++ cmake -S llvm -B build -DLLVM_ENABLE_PROJECTS='clang' -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=install $ cmake --build build -j $ # wait... $ cmake --install build $ cd ../crubit $ LLVM_INSTALL_PATH=../llvm-project/install bazel build //rs_bindings_from_cc:rs_bindings_from_cc_impl