| commit | d443731b786e24d45bc0735a5e7aa49feeb55308 | [log] [tgz] |
|---|---|---|
| author | Googler <no-reply@google.com> | Tue Jan 17 15:10:29 2023 -0800 |
| committer | Copybara-Service <copybara-worker@google.com> | Tue Jan 17 15:10:59 2023 -0800 |
| tree | 3e7abab6829658d2cd2e5d072a39aa7273efb4d1 | |
| parent | c19a9a88c04963e0a517cab7556ee9d9b7b56d80 [diff] |
Implicitly recover missing subexpr nullability by synthesizing it; log details.
Up to now each expr transfer function that depends on the nullability of its
subexpr must deal with this being missing, and (typically) recovers by making
its own nullability "unspecified".
Instead, we can populate the *subexpr's* nullability as unspecified, and run the
usual logic. This makes the code simpler, and occasionally more precise
e.g. `&unhandled_expr` is [nonnull, unspecified, unspecified, ...].
Centralizing this logic gives us some space to produce actionable debug logs:
[ RUN ] PointerNullabilityTest.DerefNullPtr
=== Missing child nullability: ===
CXXNullPtrLiteralExpr 0x5babf7487d8 'nullptr_t'
==================================
=== Missing child nullability: ===
IntegerLiteral 0x5babfde82d8 'int' 0
==================================
[ OK ] PointerNullabilityTest.DerefNullPtr (9 ms)
PiperOrigin-RevId: 502700687
Extremely experimental interop tooling 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.
$ 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