| commit | 06f06960b08beefb15af3c1f06750496cc845a73 | [log] [tgz] |
|---|---|---|
| author | Wei Yi Tee <wyt@google.com> | Tue Aug 02 09:49:50 2022 -0700 |
| committer | Copybara-Service <copybara-worker@google.com> | Tue Aug 02 09:50:26 2022 -0700 |
| tree | 735d45abc546f06dd0009c6bb42fa02c56257d4d | |
| parent | ecb2bd804d31d44b4e00c96b8a13528ff009d44c [diff] |
Add "is_known" synthetic property to null state of PointerValue. Considering whether a pointer's nullability is known changes the safety criteria for pointer dereferencing - only pointers that are known to be nullable on some path reaching the dereference will be unsafe. Unannotated pointers are treated as nullable pointers which need to be null-checked before dereferencing in this iteration. PiperOrigin-RevId: 464816394
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