| commit | 5fc2a80f572f779edfa0fb5819db8ce3d7d1e332 | [log] [tgz] |
|---|---|---|
| author | Sam McCall <sammccall@google.com> | Tue May 02 05:41:27 2023 -0700 |
| committer | Copybara-Service <copybara-worker@google.com> | Tue May 02 05:42:19 2023 -0700 |
| tree | 3d2bdac03a115a4fa183b05f4842fcc6811f7d74 | |
| parent | c1f6cab91b967e8109941cf7e8eb0cb579f671ed [diff] |
Split functions relating to type-nullability out of pointer_nullability.h The former has been kind of an "everything that needs to be shared" grab-bag, and it's growing... The functionality here today splits neatly into two groups, one that interacts with the Value world and one that interacts with the Type world, with analysis depending on both. The exception is getNullabilityForChild, which fits naturally into analysis. It was moved here with the plan of being shared with diagnosis. but hasn't been. It doesn't seem suitable to sharein its current form - it causes other layering problems too, and its preconditions/API are defined in terms of analysis. So I've moved this back into analysis for now. Wrote a few words about the type-nullability model. I'd like to follow up by renaming a few functions, adding a TypeNullability alias, adding more tests, but trying to keep the scope for discussion smaller. PiperOrigin-RevId: 528755134
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