| commit | 4a73ca7e489481dd2aa0f2f78e22294a17978530 | [log] [tgz] |
|---|---|---|
| author | Dani Ferreira Franco Moura <danimoura@google.com> | Wed Dec 14 10:23:56 2022 -0800 |
| committer | Copybara-Service <copybara-worker@google.com> | Wed Dec 14 10:24:34 2022 -0800 |
| tree | 9bb125c89b182124e357399547295cc95c7774a6 | |
| parent | 9e9cba92314b913da0a2e6bbd93419ded50f6ef4 [diff] |
Update nullability verification framework to adapt to the new diagnoser API in the clang dataflow framework The new API (PHAB_REVIEW=https://reviews.llvm.org/D139868) allows diagnosers to take in `State` objects instead of `Environment` objects as argument. A `State` contains both an `Environment` and a `Lattice` element. This change will allow the pointer nullability diagnosis to use information from the dataflow lattice, which can be helpful for testing and debugging purposes. For example, the diagnoser can now access the nullability vectors computed for a given expression, which are stored in a map in the lattice. PiperOrigin-RevId: 495350578
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