Coverity: Fix 1594597 Dereference after null check

kbenzie · kbenzie · commit d51935ee12cd · 2024-08-06T15:43:29.000+01:00
diff --git a/source/loader/layers/sanitizer/asan_report.cpp b/source/loader/layers/sanitizer/asan_report.cpp
@@ -32,7 +32,7 @@ void ReportBadFree(uptr Addr, const StackTrace &stack,
                                     (void *)Addr);
     }
 
-    assert(!AI->IsReleased && "Chunk must be not released");
+    assert(AI && !AI->IsReleased && "Chunk must be not released");
 
     getContext()->logger.always("{} is located inside of {} region [{}, {})",
                                 (void *)Addr, ToString(AI->Type),

Original file line number	Diff line number	Diff line change
`@@ -32,7 +32,7 @@ void ReportBadFree(uptr Addr, const StackTrace &stack,`
`32`	`32`	`(void *)Addr);`
`33`	`33`	`}`
`34`	`34`
`35`		`- assert(!AI->IsReleased && "Chunk must be not released");`
	`35`	`+ assert(AI && !AI->IsReleased && "Chunk must be not released");`
`36`	`36`
`37`	`37`	`getContext()->logger.always("{} is located inside of {} region [{}, {})",`
`38`	`38`	`(void *)Addr, ToString(AI->Type),`