diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-07-01 18:20:23 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-01 18:20:23 +0200 |
commit | 6cf416dafc8b3e1019f765da1e596ba4d0e44425 (patch) | |
tree | 200ea0bbff33663f03db442ebafba1c809b1e655 /core/os | |
parent | 8a484756de0d66aa91da7975672234d58ca31d7d (diff) | |
parent | 1b05f449f0584ff29a9f340b1c7c310a52aec7b1 (diff) |
Merge pull request #33061 from madmiraal/nullpointerdereference
Call CRASH_COND_MSG if key not found in HashMap get(key) functions.
Diffstat (limited to 'core/os')
0 files changed, 0 insertions, 0 deletions