exists(DerivedTypederived|derived=root|result=getNestedType(derived.getBaseType()))

usesAtomicVoid(root.(DerivedType).getBaseType())

usesAtomicVoid(root.(RoutineType).getReturnType())

usesAtomicVoid(root.(RoutineType).getAParameterType())

usesAtomicVoid(root.(FunctionPointerType).getReturnType())

usesAtomicVoid(root.(FunctionPointerType).getAParameterType())

usesAtomicVoid(root.(TypedefType).getBaseType())

result.(DeclarationEntry).getType()=thisanddescription=result.(DeclarationEntry).getName()

result.(CStyleCast).getType()=thisanddescription="Cast"

notisExcluded(decl, Declarations9Package::atomicQualifierAppliedToVoidQuery())and

atomicVoid=getNestedType(decl.getType())

selectdecl,decl.getName()+" declared with an atomic void type."

decl=explicitType.getDeclaration(elementDescription)and

| test.c:3:15:3:16 | definition of g3 | g3 declared with an atomic void type. |

| test.c:10:17:10:18 | definition of m3 | m3 declared with an atomic void type. |

| test.c:15:22:15:23 | definition of p2 | p2 declared with an atomic void type. |

| test.c:20:23:20:24 | declaration of f2 | f2 declared with an atomic void type. |

| test.c:21:25:21:26 | declaration of f3 | f3 declared with an atomic void type. |

| test.c:22:14:22:15 | declaration of f4 | f4 declared with an atomic void type. |

| test.c:23:16:23:17 | declaration of f5 | f5 declared with an atomic void type. |

| test.c:27:3:27:19 | (_Atomic(void) *)... | Cast declared with an atomic void type. |

_Atomicvoid*p2// NON_COMPLIANT

) {}

) {}

typedef _Atomicvoid*f2(void);// NON_COMPLIANT

typedef _Atomicvoid*(*f3)(void);// NON_COMPLIANT

typedefvoidf4(_Atomicvoid*);// NON_COMPLIANT

typedefvoid (*f5)(_Atomicvoid*);// NON_COMPLIANT

voidf6() {

(void*)0;// COMPLIANT

(_Atomicvoid*)0;// NON_COMPLIANT

}