luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Compiler warning.

This commit is contained in:
Alan Mishchenko 2024-08-01 18:36:32 -07:00
parent 1954e2fcaa
commit 8f0cbbdf38
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/proof/ssw/sswPart.c
View File

@ -117,7 +117,7 @@ void * Ssw_GiaWorkerThread( void * pArg )
Par_ScorrThData_t * pThData = (Par_ScorrThData_t *)pArg;
while ( 1 )
{
while ( !atomic_load_explicit(&pThData->fWorking, memory_order_acquire) )
while ( !atomic_load_explicit((volatile int *)&pThData->fWorking, memory_order_acquire) )
nanosleep(&pause_duration, NULL);
if ( pThData->p == NULL )
{