| commit | 74bf86428524eed461814d1419c7a19fc757c064 | [log] [tgz] |
|---|---|---|
| author | Sam McCall <sammccall@google.com> | Fri Jun 16 11:21:42 2023 -0700 |
| committer | Copybara-Service <copybara-worker@google.com> | Fri Jun 16 11:22:24 2023 -0700 |
| tree | 20e53e3972ece909e7a1c6be3a2dcb649ac69e09 | |
| parent | 6be92ea7f851ee4f678a29d2eda966ef354f674c [diff] |
Allow binding nullability of decls to SAT variables, to support inference. The idea is that instead of nullable/nonnull/unspecified, the nullability of a decl (typically parameter) can be a variable. The analysis will determine how that variable interacts with e.g. the nullability of expressions that are dereferenced, and we can then add SAT assertions that the function body is safe, and solve for the param nullability. For now, we only support top-level nullability of pointer-valued params, and only apply constraints when directly loading pointer values from the param. This info is stored ad-hoc and doesn't interact with nullability vectors. A more general solution would store a full nullability-vector of variables for the decl, and allow nullability-vectors for exprs to contain variables. However this upgrade will be quite intrusive, so start small. PiperOrigin-RevId: 540942832
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