Re: Your clang TSA patches

2023-05-09 Thread Stefan Hajnoczi
On Tue, 9 May 2023 at 03:01, Marc-André Lureau wrote: > > Hi Stefan > > On Mon, May 8, 2023 at 6:54 PM Stefan Hajnoczi wrote: >> >> Hi Marc-André, >> clang's Thread Safety Analysis is being used more in the QEMU block >> layer and a few limitations have been hit: >> 1. Mutexes that are struct

Re: Your clang TSA patches

2023-05-09 Thread Kevin Wolf
Am 09.05.2023 um 09:00 hat Marc-André Lureau geschrieben: > Hi Stefan > > On Mon, May 8, 2023 at 6:54 PM Stefan Hajnoczi wrote: > > > Hi Marc-André, > > clang's Thread Safety Analysis is being used more in the QEMU block > > layer and a few limitations have been hit: > > 1. Mutexes that are

Re: Your clang TSA patches

2023-05-09 Thread Marc-André Lureau
Hi Stefan On Mon, May 8, 2023 at 6:54 PM Stefan Hajnoczi wrote: > Hi Marc-André, > clang's Thread Safety Analysis is being used more in the QEMU block > layer and a few limitations have been hit: > 1. Mutexes that are struct fields are not supported (only global mutexes > work). > 2. Analysis

Your clang TSA patches

2023-05-08 Thread Stefan Hajnoczi
Hi Marc-André, clang's Thread Safety Analysis is being used more in the QEMU block layer and a few limitations have been hit: 1. Mutexes that are struct fields are not supported (only global mutexes work). 2. Analysis does not extend across function pointers. See GRAPH_RDLOCK_PTR for a workaround