| commit | edfce7330eb50d5ac2724d5e72457e01e9551895 | [log] [tgz] |
|---|---|---|
| author | TreeHugger Robot <treehugger-gerrit@google.com> | Wed Oct 19 14:31:10 2022 +0000 |
| committer | Android (Google) Code Review <android-gerrit@google.com> | Wed Oct 19 14:31:10 2022 +0000 |
| tree | e62a75cd76c8f7da5e4635748ec93f5d4cbe9841 | |
| parent | 5aaa15399c69d67c1b05c8ab2c295fdea0d63860 [diff] | |
| parent | 04534e26ed13397d0a1f244d71ed758f368d5553 [diff] |
Merge "FTL: Add invariant for non-null pointers"