| commit | 4c78b95ed48515e43da8007c8ee84ed58ce65ed9 | [log] [tgz] |
|---|---|---|
| author | Martin Brænne <mboehme@google.com> | Mon Dec 11 03:54:42 2023 -0800 |
| committer | Copybara-Service <copybara-worker@google.com> | Mon Dec 11 03:56:17 2023 -0800 |
| tree | 3985920d17fa1284c9f9929b1f9100685caece28 | |
| parent | 46427d588439c57ba72966110bcf24c01ef6cb0d [diff] |
[nullability] Add `provable()` and `possible()` assertions to nullability_test.
I plan to use these to these `operator bool()`, `operator==()` and
`operator!=()` in the smart pointer analysis. This allows tests to be written
more directly, for example:
```cxx
std::unique_ptr<int> p;
provable(!p);
```
instead of
```cxx
std::unique_ptr<int> p;
if (!p)
p = std::make_unique<int>(42);
// If `p` is nonnull here, the `if` condition above must have been true.
nonnull(p);
```
In addition, these assertions will also allow us to write stronger tests in
some situations, for example:
```cxx
void f(int *p) {
std::unique_ptr<int> smart(p);
provable(smart.get() == p);
}
```
Without `provable()`, we would not be able to prove pointer identity, so the
best we could do is something like this:
```cxx
std::unique_ptr<int> nullPtr;
nullable(nullPtr.get());
auto nonnullPtr = std::make_unique<int>(42);
nonnull(nonnullPtr.get());
```
PiperOrigin-RevId: 589774608
Change-Id: I8717372f9f64704c82be238ff0178134c634604e
Crubit is a 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