diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-09-14 21:48:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-14 21:48:10 +0200 |
| commit | 1c7aec9d9cc15c338e4dfa5228825901efadb477 (patch) | |
| tree | 7e6961f2ad56d4464503c047a86c71ab368c2a90 /modules/gridmap | |
| parent | c5a979eba54fea9b68b76012c89b9095129473a8 (diff) | |
| parent | ddc7d7ee66dccbec60d1c9108f8b2225c6d9adcc (diff) | |
Merge pull request #51094 from RandomShaper/error_cast_freed_object
Complain if casting a freed object in a debug session
Diffstat (limited to 'modules/gridmap')
0 files changed, 0 insertions, 0 deletions