224480 2021-04-13 05:12:45 -0700 Remove the comment in ~AudioSourceProviderAVFObjC about undefined behavior 2021-04-20 05:13:15 -0700 1 1 1 Unclassified WebKit Media WebKit Local Build Unspecified Unspecified ASSIGNED InRadar P2 Normal --- 224230 1 kkinnunen kkinnunen ap webkit-bug-importer oldest_to_newest 1749655 0 kkinnunen 2021-04-13 05:12:45 -0700 AudioSourceProviderAVFObjC locks a mutex in destructor. This is undefined behavior, since the mutex controls access to the object members. Since the object cannot have multiple active references during destruction, mutex locking should not be needed. However, it is needed, and as such this indicates undefined behavior.´ 1749887 1 ap 2021-04-13 15:01:25 -0700 > This is undefined behavior, since the mutex controls access to the object members. Object members are destroyed after the destructor runs, so I don't see a problem with this code. 1750265 2 kkinnunen 2021-04-14 12:03:49 -0700 > > This is undefined behavior, since the mutex controls access to the object members. > > Object members are destroyed after the destructor runs, so I don't see a > problem with this code. Yeah, you're right. I took a bit of a mental shortcut, thinking about the case where the mutex would be moved to the class for more logical operation. I'll use this bug to remove the comment. 1750267 3 kkinnunen 2021-04-14 12:08:11 -0700 Ah, no, maybe not. I think the issue still stands. > Object members are destroyed after the destructor runs, so I don't see a problem with this code. It's not about destroying the members. The bug is about what C++ defines as being "well-formed program". I think I recall, and it sort of makes sense, that a well-formed program cannot have the execution in destructor and a member function at the same time. In practice it works, as the data members are destroyed after end of the destructor. However, typically one should not rely on "in practice it works" if it's contrary to the soundness definition of the language. 1750278 4 kkinnunen 2021-04-14 12:28:51 -0700 Clarified it: I was remembering and thinking wrong. So I'll remove the comment in the destructor. 1752229 5 webkit-bug-importer 2021-04-20 05:13:15 -0700 <rdar://problem/76894075>