diff options
| author | 2023-07-06 17:29:23 +0100 | |
|---|---|---|
| committer | 2023-07-06 17:30:47 +0100 | |
| commit | 7d61fae91d9131de0492e1e6f7f5b91120ead3b4 (patch) | |
| tree | 2fcf6d94be4374956d5f95739cad208758b9b473 /java/java.go | |
| parent | a9778d576b19536a5578092846b0d60b5e527f09 (diff) | |
Require safety comments for unsafe blocks.
Also require unsafe blocks even within unsafe functions.
Bug: 290018030
Test: m pvmfw_bin
Change-Id: I6ffce7b59a9b2f22572a88e0ba55aaf01576273c
Diffstat (limited to 'java/java.go')
0 files changed, 0 insertions, 0 deletions