[nullability] Handle `CXXThisExpr` in non-flow-sensitive instead of flow-sensitive analysis. Rationale: - I don't see an obvious reason why we would need to handle `CXXThisExpr` in the flow-sensitive part of the analysis. - Moving this to the non-flow-sensitive part of the analysis allows us to test the behavior using `__assert_nullability`. (Note that, prior to this patch, all tests in this_pointer.cc pass even if the existing flow-sensitive handling for `CXXThisExpr` is removed entirely. This is because `this` then has unknown nullability, and we don't warn on dereferencing a pointer of unknown nullability.) - Handling `CXXThisExpr` in the non-flow-sensitive part of the analysis eliminates a lot of messages from `getNullabilityForChild()` about the missing child nullability on `CXXThisExpr` nodes. PiperOrigin-RevId: 532099206
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