| commit | 0d0db1d93674238c7a7675e49a0499a8d41fd4d5 | [log] [tgz] |
|---|---|---|
| author | Dani Ferreira Franco Moura <danimoura@google.com> | Tue Jan 17 11:08:07 2023 -0800 |
| committer | Copybara-Service <copybara-worker@google.com> | Tue Jan 17 11:08:51 2023 -0800 |
| tree | 414aba05b25e04e3fd0b2c999a90fbaa784a1bba | |
| parent | 82c1758c2efc0dd95aa2663e401afc6bee52a6ca [diff] |
Add support for non-flow-sensitive nullability of parenthesised expressions The CFG often omits parenthesis of expressions, but the AST does not. Therefore, the CFG match switch used to apply transfer functions does not match parenthesised expressions. This could lead to missing entries when we look up an expression's nullability in the lattice. Now, when searching for or inserting the nullability of expressions in the lattice, we skip its parenthesis. PiperOrigin-RevId: 502635902
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