[binutils-gdb] Don't write to inferior_ptid in bsd-kvm.c

[gdb-buildbot@gdb-buildbot.osci.io]

*** TEST RESULTS FOR COMMIT f2e1c129f8f0985ec80e6cf775cf3e4afbced6fa ***

commit f2e1c129f8f0985ec80e6cf775cf3e4afbced6fa
Author:     Pedro Alves <palves@redhat.com>
AuthorDate: Thu Jun 18 21:28:30 2020 +0100
Commit:     Pedro Alves <palves@redhat.com>
CommitDate: Thu Jun 18 23:13:47 2020 +0100

    Don't write to inferior_ptid in bsd-kvm.c
    
    gdb/ChangeLog:
    2020-06-18  Pedro Alves  <palves@redhat.com>
    
            * bsd-kvm.c (bsd_kvm_target::close): Use switch_to_no_thread
            instead of writing to inferior_ptid directly.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 96335cb0a7..c465a4d36d 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+2020-06-18  Pedro Alves  <palves@redhat.com>
+
+	* bsd-kvm.c (bsd_kvm_target::close): Use switch_to_no_thread
+	instead of writing to inferior_ptid directly.
+
 2020-06-18  Pedro Alves  <palves@redhat.com>
 
 	* corelow.c (core_target::close): Use switch_to_no_thread instead
diff --git a/gdb/bsd-kvm.c b/gdb/bsd-kvm.c
index b1b1fee5f4..f35c85a2ea 100644
--- a/gdb/bsd-kvm.c
+++ b/gdb/bsd-kvm.c
@@ -155,7 +155,7 @@ bsd_kvm_target::close ()
       core_kd = NULL;
     }
 
-  inferior_ptid = null_ptid;
+  switch_to_no_thread ();
   exit_inferior_silent (current_inferior ());
 }