Assertion: semaphore | /r/HasProperty | initialized result
Facets:
value: in undefined behavior
type: OTHER
Source sentences:
text: An attempt to initialize a semaphore that has already been initialized results in undefined behavior.
text: Initializing a semaphore that has already been initialized results in undefined behavior.