diff options
| author | Rahat Mahmood <rahat@google.com> | 2021-03-23 11:54:55 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2021-03-23 11:56:59 -0700 |
| commit | acb4c62885629d6d3ee977b93c27282abed0b33f (patch) | |
| tree | 3fa1b21e3175a306508f034bb457f00b1ade1d41 /pkg/sentry/platform | |
| parent | beb11cec7669d029172751e5b4dfe21c0672a25a (diff) | |
Skip checklocks analysis for stateify generated code.
Stateify methods are always called without holding the appropriate
locks. The system is paused and we know there will be no mutations
when we call Save/Load, so this is perfectly safe. However, checklocks
can't know about this, and it will always complain.
Mark stateify generated methods that touch struct fields as
"checklocksignore" to avoid this.
PiperOrigin-RevId: 364610241
Diffstat (limited to 'pkg/sentry/platform')
0 files changed, 0 insertions, 0 deletions