Merge pull request #28226 from mrc0mmand/coverity-fixes

A couple of Coverity-related fixes
This commit is contained in:
Luca Boccassi
2023-07-02 15:54:56 +01:00
committed by GitHub
9 changed files with 9 additions and 15 deletions
+1 -1
View File
@@ -1095,7 +1095,7 @@ pid_t getpid_cached(void) {
* https://sourceware.org/git/gitweb.cgi?p=glibc.git;h=c579f48edba88380635ab98cb612030e3ed8691e
*/
__atomic_compare_exchange_n(
(void) __atomic_compare_exchange_n(
&cached_pid,
&current_value,
CACHED_PID_BUSY,
-2
View File
@@ -492,8 +492,6 @@ Virtualization detect_vm(void) {
return xen_dom0;
if (xen_dom0 == 0)
goto finish;
v = VIRTUALIZATION_NONE;
} else if (v != VIRTUALIZATION_NONE)
assert_not_reached();