| commit | ea4d7908c0b3c0df0fc55ffda70924dd0fa8a48d | [log] [tgz] |
|---|---|---|
| author | Martin Brænne <mboehme@google.com> | Wed Sep 27 05:15:51 2023 -0700 |
| committer | Copybara-Service <copybara-worker@google.com> | Wed Sep 27 05:16:35 2023 -0700 |
| tree | a54d0d8515b3ce7c219fc8158ad1ea3885d37f6b | |
| parent | 9f1e3c7fb30819e4bbb2ee1fcd5bcbb65e6b3e9b [diff] |
[nullability] Add various tests for loops that mutate pointer variables. We currently get a lot of these cases wrong -- either by not converging or by producing false positives / negatives. These tests are intended to document the current behavior and serve as a basis for fixes. I'm putting these in a new file `convergence.cc` because convergence is usually involved in one form or another; fixing one of these tests often makes others newly non-convergent. PiperOrigin-RevId: 568819003 Change-Id: Ib4c27215690760fb39f6d81c35f2aa9e32718cb6
Crubit is an experimental bidirectional bindings generator 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.
Crubit allows for C++ code and Rust code to call each other without manually wrapping the APIs in an FFI-friendly interop layer. For example, a C++ function like this:
bool IsAbsPath(std::string_view path);
... becomes callable from Rust as if it were defined as:
pub fn IsAbsPath(path: std::string_view) -> bool {...}
Crubit automatically generates ABI-compatible bindings for structs (which can be passed both by value and by reference), functions, and methods, for a large variety of types. (Trivial types, nontrivial types, templated types, etc.)
$ 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