Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
core: exit does not dereference device pointers when logging
Device pointers that wrongly remain in the referenced device list could point to already freed memory. Dereferencing them for the purpose of logging devices related data could lead to segmentation faults or inaccurate information
- Loading branch information