2026-06-01 07:27
ftp://ftp.de.debian.org/debian/pool/main/c/concurrentqueue/concurrentqueue_1.0.4+ds.orig.tar.xz
cppcheck-options: --library=posix --library=gnu --library=bsd --library=icu  --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j1
platform: Linux-6.1.0-49-amd64-x86_64-with-glibc2.36
python: 3.11.2
client-version: 1.3.70
compiler: g++ (Debian 12.2.0-14+deb12u1) 12.2.0
cppcheck: head 2.20.0
head-info: 8c14fc7 (2026-05-31 09:56:45 +0200)
count: 64 192
elapsed-time: 2.1 10.5
head-timing-info:

old-timing-info:

head results:
concurrentqueue-1.0.4/lightweightsemaphore.h:259:2: error: #error Unsupported platform! (No semaphore wrapper available) [preprocessorErrorDirective]
concurrentqueue-1.0.4/benchmarks/cpuid.cpp:109:34: style: Parameter 'cpus' can be declared as reference to const [constParameterReference]
concurrentqueue-1.0.4/benchmarks/cpuid.cpp:109:45: style: Parameter 'cores' can be declared as reference to const [constParameterReference]
concurrentqueue-1.0.4/benchmarks/cpuid.cpp:109:57: style: Parameter 'logicalCores' can be declared as reference to const [constParameterReference]
concurrentqueue-1.0.4/benchmarks/cpuid.cpp:109:79: style: Parameter 'clockSpeed' can be declared as reference to const [constParameterReference]
concurrentqueue-1.0.4/benchmarks/dlib/error.h:250:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
concurrentqueue-1.0.4/benchmarks/dlib/error.h:267:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
concurrentqueue-1.0.4/benchmarks/dlib/error.h:81:9: style: Class 'error' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
concurrentqueue-1.0.4/benchmarks/dlib/error.h:90:9: style: Class 'error' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
concurrentqueue-1.0.4/benchmarks/dlib/error.h:212:9: style: Class 'fatal_error' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
concurrentqueue-1.0.4/benchmarks/dlib/error.h:221:9: style: Class 'fatal_error' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
concurrentqueue-1.0.4/benchmarks/dlib/error.h:312:9: style: Class 'gui_error' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
concurrentqueue-1.0.4/benchmarks/dlib/error.h:321:9: style: Class 'gui_error' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
concurrentqueue-1.0.4/benchmarks/dlib/error.h:354:9: style: Class 'socket_error' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
concurrentqueue-1.0.4/benchmarks/dlib/error.h:363:9: style: Class 'socket_error' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
concurrentqueue-1.0.4/benchmarks/dlib/error.h:396:9: style: Class 'thread_error' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
concurrentqueue-1.0.4/benchmarks/dlib/error.h:405:9: style: Class 'thread_error' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
concurrentqueue-1.0.4/benchmarks/dlib/error.h:441:9: style: Class 'impossible_labeling_error' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
concurrentqueue-1.0.4/concurrentqueue.h:324:15: error: syntax error [syntaxError]
concurrentqueue-1.0.4/tests/CDSChecker/corealgo.h:28:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
concurrentqueue-1.0.4/tests/CDSChecker/corealgo.h:42:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
concurrentqueue-1.0.4/tests/CDSChecker/corealgo.h:52:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
concurrentqueue-1.0.4/tests/CDSChecker/corealgo.h:111:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
concurrentqueue-1.0.4/tests/CDSChecker/enqueue_dequeue_many.cpp:10:12: style: C-style pointer casting [cstyleCast]
concurrentqueue-1.0.4/tests/CDSChecker/enqueue_dequeue_many.cpp:11:23: style: C-style pointer casting [cstyleCast]
concurrentqueue-1.0.4/tests/CDSChecker/enqueue_dequeue_many.cpp:10:9: style: Variable 'id' is assigned a value that is never used. [unreadVariable]
concurrentqueue-1.0.4/tests/CDSChecker/enqueue_dequeue_many.cpp:26:8: style: Variable 'last' is assigned a value that is never used. [unreadVariable]
concurrentqueue-1.0.4/tests/common/simplethread.h:50:3: style: Struct 'ArgWrapper' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
concurrentqueue-1.0.4/tests/common/systemtime.h:12:2: error: #error "Unknown platform" [preprocessorErrorDirective]
concurrentqueue-1.0.4/tests/relacy/freelist.cpp:194:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sched_random [valueFlowBailoutIncompleteVar]
concurrentqueue-1.0.4/tests/relacy/freelist.cpp:27:70: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_acq_rel [valueFlowBailoutIncompleteVar]
concurrentqueue-1.0.4/tests/relacy/freelist.cpp:36:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_acquire [valueFlowBailoutIncompleteVar]
concurrentqueue-1.0.4/tests/relacy/freelist.cpp:77:60: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
concurrentqueue-1.0.4/tests/relacy/freelist.cpp:91:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
concurrentqueue-1.0.4/tests/relacy/freelist.cpp:119:2: warning:inconclusive: Member variable 'TestNode::value' is not initialized in the constructor. [uninitMemberVar]
concurrentqueue-1.0.4/tests/relacy/freelist.cpp:128:7: style: Either there is a missing 'override', or the member function 'basic_test::before' can be static. [functionStatic]
concurrentqueue-1.0.4/tests/relacy/freelist.cpp:144:7: style: Either there is a missing 'override', or the member function 'basic_test::after' can be static. [functionStatic]
concurrentqueue-1.0.4/tests/relacy/freelist.cpp:148:7: style: Either there is a missing 'override', or the member function 'basic_test::invariant' can be static. [functionStatic]
concurrentqueue-1.0.4/tests/relacy/freelist.cpp:158:10: style: Either there is a missing 'override', or the member function 'full_test::before' can be static. [functionStatic]
concurrentqueue-1.0.4/tests/relacy/freelist.cpp:180:10: style: Either there is a missing 'override', or the member function 'full_test::after' can be static. [functionStatic]
concurrentqueue-1.0.4/tests/relacy/freelist.cpp:184:10: style: Either there is a missing 'override', or the member function 'full_test::invariant' can be static. [functionStatic]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:245:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sched_random [valueFlowBailoutIncompleteVar]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:197:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:208:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_release [valueFlowBailoutIncompleteVar]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:26:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:47:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_release [valueFlowBailoutIncompleteVar]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:59:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_acquire [valueFlowBailoutIncompleteVar]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:72:101: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:95:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:118:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_acquire [valueFlowBailoutIncompleteVar]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:132:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:10:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:188:9: warning: Member variable 'test < 2 , 4 >::values' has no initializer. [uninitMemberVarNoCtor]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:188:9: warning: Member variable 'test < 3 , 4 >::values' has no initializer. [uninitMemberVarNoCtor]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:188:9: warning: Member variable 'test < 4 , 8 >::values' has no initializer. [uninitMemberVarNoCtor]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:86:21: warning: Member variable 'IndexHeader::capacity' has no initializer. [uninitMemberVarNoCtor]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:88:21: warning: Member variable 'IndexHeader::entries' has no initializer. [uninitMemberVarNoCtor]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:89:22: warning: Member variable 'IndexHeader::index' has no initializer. [uninitMemberVarNoCtor]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:90:22: warning: Member variable 'IndexHeader::prev' has no initializer. [uninitMemberVarNoCtor]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:235:7: style: Either there is a missing 'override', or the member function 'test < 2 , 4 >::invariant' can be static. [functionStatic]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:235:7: style: Either there is a missing 'override', or the member function 'test < 3 , 4 >::invariant' can be static. [functionStatic]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:235:7: style: Either there is a missing 'override', or the member function 'test < 4 , 8 >::invariant' can be static. [functionStatic]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:73:13: style: 'continue' is redundant since it is the last statement in a loop. [redundantContinue]
concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:215:22: style: Variable 'val' can be declared as pointer to const [constVariablePointer]
diff:
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1018:10: debug: Failed to instantiate template "inner_enqueue". The checking continues anyway. [templateInstantiation]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1132:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_acquire [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1170:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_acquire [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1191:113: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1234:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_acquire [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1251:113: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1300:14: style: The member function 'moodycamel::ConcurrentQueue < Foo , MediumConstantTraits >::try_dequeue_from_producer' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1300:14: style: The member function 'moodycamel::ConcurrentQueue < int , SmallConstantTraits >::try_dequeue_from_producer' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1300:14: style: The member function 'moodycamel::ConcurrentQueue < void * , ConcurrentQueueDefaultTraits >::try_dequeue_from_producer' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1313:16: style: The member function 'moodycamel::ConcurrentQueue < Foo , MediumConstantTraits >::try_dequeue_bulk_from_producer' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1313:16: style: The member function 'moodycamel::ConcurrentQueue < int , SmallConstantTraits >::try_dequeue_bulk_from_producer' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1313:16: style: The member function 'moodycamel::ConcurrentQueue < void * , ConcurrentQueueDefaultTraits >::try_dequeue_bulk_from_producer' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1328:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_acquire [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1342:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1369:110: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable canAlloc [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1376:102: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable canAlloc [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1382:115: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable canAlloc [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1389:107: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable canAlloc [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1395:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_acquire [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1453:138: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1453:3: style: Struct 'FreeList < Block >' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1466:65: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_acq_rel [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1478:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_acquire [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1513:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1526:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1572:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable context [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1572:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable explicit_context [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1599:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable context [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1618:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable context [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1639:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable context [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1654:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable context [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1671:3: debug: Failed to instantiate template "identity". The checking continues anyway. [templateInstantiation]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1739:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1744:63: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1788:4: style: The destructor '~ExplicitProducer' overrides a destructor in a base class but is not marked with a 'override' specifier. [missingOverride]
     concurrentqueue-1.0.4/concurrentqueue.h:1711:12: note: Virtual destructor in base class
     concurrentqueue-1.0.4/concurrentqueue.h:1788:4: note: Destructor in derived class
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1796:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1851:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1955:8: warning: The struct 'ExplicitProducer' defines member function with name 'dequeue' also defined in its parent struct 'ProducerBase'. [duplInheritedMember]
     concurrentqueue-1.0.4/concurrentqueue.h:1714:15: note: Parent function 'ProducerBase::dequeue'
     concurrentqueue-1.0.4/concurrentqueue.h:1955:8: note: Derived function 'ExplicitProducer::dequeue'
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:1957:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2039:7: warning:inconclusive: Access of moved variable 'el'. [accessMoved]
     concurrentqueue-1.0.4/concurrentqueue.h:2038:17: note: Calling std::move(el)
     concurrentqueue-1.0.4/concurrentqueue.h:2039:7: note: Access of moved variable 'el'.
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2060:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2248:10: warning: The struct 'ExplicitProducer' defines member function with name 'dequeue_bulk' also defined in its parent struct 'ProducerBase'. [duplInheritedMember]
     concurrentqueue-1.0.4/concurrentqueue.h:1725:17: note: Parent function 'ProducerBase::dequeue_bulk'
     concurrentqueue-1.0.4/concurrentqueue.h:2248:10: note: Derived function 'ExplicitProducer::dequeue_bulk'
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2250:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2263:22: style: Condition 'actualCount<desiredCount' is always false [knownConditionTrueFalse]
     concurrentqueue-1.0.4/concurrentqueue.h:2262:18: note: actualCount is assigned 'desiredCount<actualCount?desiredCount:actualCount' here.
     concurrentqueue-1.0.4/concurrentqueue.h:2263:22: note: Condition 'actualCount<desiredCount' is always false
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2291:9: warning:inconclusive: Access of moved variable 'el'. [accessMoved]
     concurrentqueue-1.0.4/concurrentqueue.h:2290:24: note: Calling std::move(el)
     concurrentqueue-1.0.4/concurrentqueue.h:2291:9: note: Access of moved variable 'el'.
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2301:10: warning:inconclusive: Access of moved variable 'el'. [accessMoved]
     concurrentqueue-1.0.4/concurrentqueue.h:2299:23: note: Calling std::move(el)
     concurrentqueue-1.0.4/concurrentqueue.h:2301:10: note: Access of moved variable 'el'.
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2362:120: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2423:3: style: Struct 'ImplicitProducer' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2431:4: style: The destructor '~ImplicitProducer' overrides a destructor in a base class but is not marked with a 'override' specifier. [missingOverride]
     concurrentqueue-1.0.4/concurrentqueue.h:1711:12: note: Virtual destructor in base class
     concurrentqueue-1.0.4/concurrentqueue.h:2431:4: note: Destructor in derived class
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2440:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2446:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2489:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2551:8: warning: The struct 'ImplicitProducer' defines member function with name 'dequeue' also defined in its parent struct 'ProducerBase'. [duplInheritedMember]
     concurrentqueue-1.0.4/concurrentqueue.h:1714:15: note: Parent function 'ProducerBase::dequeue'
     concurrentqueue-1.0.4/concurrentqueue.h:2551:8: note: Derived function 'ImplicitProducer::dequeue'
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2554:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2587:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2597:7: warning:inconclusive: Access of moved variable 'el'. [accessMoved]
     concurrentqueue-1.0.4/concurrentqueue.h:2596:17: note: Calling std::move(el)
     concurrentqueue-1.0.4/concurrentqueue.h:2597:7: note: Access of moved variable 'el'.
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2637:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2688:6: warning:inconclusive: Possible null pointer dereference: idxEntry [nullPointer]
     concurrentqueue-1.0.4/concurrentqueue.h:2654:34: note: Assignment 'idxEntry=nullptr', assigned value is 0
     concurrentqueue-1.0.4/concurrentqueue.h:2661:101: note: Assuming condition is false
     concurrentqueue-1.0.4/concurrentqueue.h:2688:6: note: Null pointer dereference
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2780:10: warning: The struct 'ImplicitProducer' defines member function with name 'dequeue_bulk' also defined in its parent struct 'ProducerBase'. [duplInheritedMember]
     concurrentqueue-1.0.4/concurrentqueue.h:1725:17: note: Parent function 'ProducerBase::dequeue_bulk'
     concurrentqueue-1.0.4/concurrentqueue.h:2780:10: note: Derived function 'ImplicitProducer::dequeue_bulk'
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2782:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2795:22: style: Condition 'actualCount<desiredCount' is always false [knownConditionTrueFalse]
     concurrentqueue-1.0.4/concurrentqueue.h:2794:18: note: actualCount is assigned 'desiredCount<actualCount?desiredCount:actualCount' here.
     concurrentqueue-1.0.4/concurrentqueue.h:2795:22: note: Condition 'actualCount<desiredCount' is always false
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2818:9: warning:inconclusive: Access of moved variable 'el'. [accessMoved]
     concurrentqueue-1.0.4/concurrentqueue.h:2817:24: note: Calling std::move(el)
     concurrentqueue-1.0.4/concurrentqueue.h:2818:9: note: Access of moved variable 'el'.
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2828:10: warning:inconclusive: Access of moved variable 'el'. [accessMoved]
     concurrentqueue-1.0.4/concurrentqueue.h:2826:23: note: Calling std::move(el)
     concurrentqueue-1.0.4/concurrentqueue.h:2828:10: note: Access of moved variable 'el'.
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2903:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2937:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2954:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_acquire [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:2968:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3058:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3108:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable canAlloc [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3233:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_acquire [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3243:63: debug: Failed to instantiate template "create". The checking continues anyway. [templateInstantiation]
head concurrentqueue-1.0.4/concurrentqueue.h:324:15: error: syntax error [syntaxError]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3253:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3284:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3303:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3338:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3364:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3370:6: style: 'continue' is redundant since it is the last statement in a loop. [redundantContinue]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3380:6: style: 'continue' is redundant since it is the last statement in a loop. [redundantContinue]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3407:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_acquire [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3542:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_acquire [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3581:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3586:8: style: Condition '!raw' is always false [knownConditionTrueFalse]
     concurrentqueue-1.0.4/concurrentqueue.h:3585:16: note: Assignment 'raw=(ConcurrentQueueDefaultTraits::malloc)(size+alignment-1+sizeof(void*))', assigned value is greater than 7
     concurrentqueue-1.0.4/concurrentqueue.h:3586:8: note: Condition '!raw' is always false
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3586:8: style: Condition '!raw' is always false [knownConditionTrueFalse]
     concurrentqueue-1.0.4/concurrentqueue.h:3585:16: note: Assignment 'raw=(MediumConstantTraits::malloc)(size+alignment-1+sizeof(void*))', assigned value is greater than 7
     concurrentqueue-1.0.4/concurrentqueue.h:3586:8: note: Condition '!raw' is always false
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3586:8: style: Condition '!raw' is always false [knownConditionTrueFalse]
     concurrentqueue-1.0.4/concurrentqueue.h:3585:16: note: Assignment 'raw=(SmallConstantTraits::malloc)(size+alignment-1+sizeof(void*))', assigned value is greater than 7
     concurrentqueue-1.0.4/concurrentqueue.h:3586:8: note: Condition '!raw' is always false
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3597:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3607:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable U [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3630:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable U [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3637:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable U [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3702:58: style:inconclusive: Function 'ConsumerToken' argument 1 names different: declaration 'q' definition 'queue'. [funcArgNamesDifferent]
     concurrentqueue-1.0.4/concurrentqueue.h:719:53: note: Function 'ConsumerToken' argument 1 names different: declaration 'q' definition 'queue'.
     concurrentqueue-1.0.4/concurrentqueue.h:3702:58: note: Function 'ConsumerToken' argument 1 names different: declaration 'q' definition 'queue'.
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3705:65: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_release [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3710:66: style:inconclusive: Function 'ConsumerToken' argument 1 names different: declaration 'q' definition 'queue'. [funcArgNamesDifferent]
     concurrentqueue-1.0.4/concurrentqueue.h:722:61: note: Function 'ConsumerToken' argument 1 names different: declaration 'q' definition 'queue'.
     concurrentqueue-1.0.4/concurrentqueue.h:3710:66: note: Function 'ConsumerToken' argument 1 names different: declaration 'q' definition 'queue'.
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:3713:114: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_release [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:408:71: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable $ [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:409:63: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable $ [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:479:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:488:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:495:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:512:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:699:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_release [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:820:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:844:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:861:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:922:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable memory_order_relaxed [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/concurrentqueue.h:998:15: debug: Failed to instantiate template "inner_enqueue". The checking continues anyway. [templateInstantiation]
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:108:7: style: Either there is a missing 'override', or the member function 'enqueue_explicit_many::before' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:133:7: style: Either there is a missing 'override', or the member function 'enqueue_explicit_many::invariant' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:144:7: style: Either there is a missing 'override', or the member function 'dequeue_some_explicit::before' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:169:7: style: Either there is a missing 'override', or the member function 'dequeue_some_explicit::after' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:173:7: style: Either there is a missing 'override', or the member function 'dequeue_some_explicit::invariant' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:17:22: warning: The struct 'SmallConstantTraits' defines member variable with name 'BLOCK_SIZE' also defined in its parent struct 'ConcurrentQueueDefaultTraits'. [duplInheritedMember]
     concurrentqueue-1.0.4/concurrentqueue.h:343:22: note: Parent variable 'ConcurrentQueueDefaultTraits::BLOCK_SIZE'
     concurrentqueue-1.0.4/tests/relacy/integrated.cpp:17:22: note: Derived variable 'SmallConstantTraits::BLOCK_SIZE'
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:18:22: warning: The struct 'SmallConstantTraits' defines member variable with name 'EXPLICIT_INITIAL_INDEX_SIZE' also defined in its parent struct 'ConcurrentQueueDefaultTraits'. [duplInheritedMember]
     concurrentqueue-1.0.4/concurrentqueue.h:354:22: note: Parent variable 'ConcurrentQueueDefaultTraits::EXPLICIT_INITIAL_INDEX_SIZE'
     concurrentqueue-1.0.4/tests/relacy/integrated.cpp:18:22: note: Derived variable 'SmallConstantTraits::EXPLICIT_INITIAL_INDEX_SIZE'
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:19:22: warning: The struct 'SmallConstantTraits' defines member variable with name 'IMPLICIT_INITIAL_INDEX_SIZE' also defined in its parent struct 'ConcurrentQueueDefaultTraits'. [duplInheritedMember]
     concurrentqueue-1.0.4/concurrentqueue.h:358:22: note: Parent variable 'ConcurrentQueueDefaultTraits::IMPLICIT_INITIAL_INDEX_SIZE'
     concurrentqueue-1.0.4/tests/relacy/integrated.cpp:19:22: note: Derived variable 'SmallConstantTraits::IMPLICIT_INITIAL_INDEX_SIZE'
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:20:22: warning: The struct 'SmallConstantTraits' defines member variable with name 'INITIAL_IMPLICIT_PRODUCER_HASH_SIZE' also defined in its parent struct 'ConcurrentQueueDefaultTraits'. [duplInheritedMember]
     concurrentqueue-1.0.4/concurrentqueue.h:364:22: note: Parent variable 'ConcurrentQueueDefaultTraits::INITIAL_IMPLICIT_PRODUCER_HASH_SIZE'
     concurrentqueue-1.0.4/tests/relacy/integrated.cpp:20:22: note: Derived variable 'SmallConstantTraits::INITIAL_IMPLICIT_PRODUCER_HASH_SIZE'
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:21:29: warning: The struct 'SmallConstantTraits' defines member variable with name 'EXPLICIT_CONSUMER_CONSUMPTION_QUOTA_BEFORE_ROTATE' also defined in its parent struct 'ConcurrentQueueDefaultTraits'. [duplInheritedMember]
     concurrentqueue-1.0.4/concurrentqueue.h:369:29: note: Parent variable 'ConcurrentQueueDefaultTraits::EXPLICIT_CONSUMER_CONSUMPTION_QUOTA_BEFORE_ROTATE'
     concurrentqueue-1.0.4/tests/relacy/integrated.cpp:21:29: note: Derived variable 'SmallConstantTraits::EXPLICIT_CONSUMER_CONSUMPTION_QUOTA_BEFORE_ROTATE'
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:226:7: style: Either there is a missing 'override', or the member function 'recycle_blocks_explicit::invariant' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:26:22: warning: The struct 'MediumConstantTraits' defines member variable with name 'BLOCK_SIZE' also defined in its parent struct 'ConcurrentQueueDefaultTraits'. [duplInheritedMember]
     concurrentqueue-1.0.4/concurrentqueue.h:343:22: note: Parent variable 'ConcurrentQueueDefaultTraits::BLOCK_SIZE'
     concurrentqueue-1.0.4/tests/relacy/integrated.cpp:26:22: note: Derived variable 'MediumConstantTraits::BLOCK_SIZE'
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:278:7: style: Either there is a missing 'override', or the member function 'expand_block_index_explicit::invariant' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:27:22: warning: The struct 'MediumConstantTraits' defines member variable with name 'EXPLICIT_INITIAL_INDEX_SIZE' also defined in its parent struct 'ConcurrentQueueDefaultTraits'. [duplInheritedMember]
     concurrentqueue-1.0.4/concurrentqueue.h:354:22: note: Parent variable 'ConcurrentQueueDefaultTraits::EXPLICIT_INITIAL_INDEX_SIZE'
     concurrentqueue-1.0.4/tests/relacy/integrated.cpp:27:22: note: Derived variable 'MediumConstantTraits::EXPLICIT_INITIAL_INDEX_SIZE'
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:289:7: style: Either there is a missing 'override', or the member function 'enqueue_implicit_one::before' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:28:22: warning: The struct 'MediumConstantTraits' defines member variable with name 'IMPLICIT_INITIAL_INDEX_SIZE' also defined in its parent struct 'ConcurrentQueueDefaultTraits'. [duplInheritedMember]
     concurrentqueue-1.0.4/concurrentqueue.h:358:22: note: Parent variable 'ConcurrentQueueDefaultTraits::IMPLICIT_INITIAL_INDEX_SIZE'
     concurrentqueue-1.0.4/tests/relacy/integrated.cpp:28:22: note: Derived variable 'MediumConstantTraits::IMPLICIT_INITIAL_INDEX_SIZE'
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:29:22: warning: The struct 'MediumConstantTraits' defines member variable with name 'INITIAL_IMPLICIT_PRODUCER_HASH_SIZE' also defined in its parent struct 'ConcurrentQueueDefaultTraits'. [duplInheritedMember]
     concurrentqueue-1.0.4/concurrentqueue.h:364:22: note: Parent variable 'ConcurrentQueueDefaultTraits::INITIAL_IMPLICIT_PRODUCER_HASH_SIZE'
     concurrentqueue-1.0.4/tests/relacy/integrated.cpp:29:22: note: Derived variable 'MediumConstantTraits::INITIAL_IMPLICIT_PRODUCER_HASH_SIZE'
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:30:29: warning: The struct 'MediumConstantTraits' defines member variable with name 'EXPLICIT_CONSUMER_CONSUMPTION_QUOTA_BEFORE_ROTATE' also defined in its parent struct 'ConcurrentQueueDefaultTraits'. [duplInheritedMember]
     concurrentqueue-1.0.4/concurrentqueue.h:369:29: note: Parent variable 'ConcurrentQueueDefaultTraits::EXPLICIT_CONSUMER_CONSUMPTION_QUOTA_BEFORE_ROTATE'
     concurrentqueue-1.0.4/tests/relacy/integrated.cpp:30:29: note: Derived variable 'MediumConstantTraits::EXPLICIT_CONSUMER_CONSUMPTION_QUOTA_BEFORE_ROTATE'
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:313:7: style: Either there is a missing 'override', or the member function 'enqueue_implicit_one::invariant' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:363:7: style: Either there is a missing 'override', or the member function 'implicit_simple::invariant' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:411:7: style: Either there is a missing 'override', or the member function 'many_implicit_producers::invariant' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:448:7: style: Either there is a missing 'override', or the member function 'implicit_producer_reuse::invariant' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:44:2: style: Struct 'Foo' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:496:7: style: Either there is a missing 'override', or the member function 'implicit_block_reuse::invariant' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:562:7: style: Either there is a missing 'override', or the member function 'mixed::invariant' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:611:8: style: Consider using std::count_if algorithm instead of a raw loop. [useStlAlgorithm]
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:624:7: style: Either there is a missing 'override', or the member function 'leftovers_destroyed_explicit::invariant' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:671:8: style: Consider using std::count_if algorithm instead of a raw loop. [useStlAlgorithm]
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:684:7: style: Either there is a missing 'override', or the member function 'leftovers_destroyed_implicit::invariant' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:700:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sched_random [valueFlowBailoutIncompleteVar]
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:73:7: style: Either there is a missing 'override', or the member function 'enqueue_explicit_one::before' can be static. [functionStatic]
2.20.0 concurrentqueue-1.0.4/tests/relacy/integrated.cpp:98:7: style: Either there is a missing 'override', or the member function 'enqueue_explicit_one::invariant' can be static. [functionStatic]
head concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:188:9: warning: Member variable 'test < 2 , 4 >::values' has no initializer. [uninitMemberVarNoCtor]
head concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:188:9: warning: Member variable 'test < 3 , 4 >::values' has no initializer. [uninitMemberVarNoCtor]
head concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:188:9: warning: Member variable 'test < 4 , 8 >::values' has no initializer. [uninitMemberVarNoCtor]
head concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:86:21: warning: Member variable 'IndexHeader::capacity' has no initializer. [uninitMemberVarNoCtor]
head concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:88:21: warning: Member variable 'IndexHeader::entries' has no initializer. [uninitMemberVarNoCtor]
head concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:89:22: warning: Member variable 'IndexHeader::index' has no initializer. [uninitMemberVarNoCtor]
head concurrentqueue-1.0.4/tests/relacy/spmchash.cpp:90:22: warning: Member variable 'IndexHeader::prev' has no initializer. [uninitMemberVarNoCtor]


DONE