23 lines · cpp
1// RUN: %clang_analyze_cc1 -triple arm-darwin -analyzer-checker=alpha.webkit.UncountedCallArgsChecker -verify %s2// expected-no-diagnostics3 4void crash()5{6 __asm__ volatile ("brk #0xc471");7 __builtin_unreachable();8}9 10class SomeObj {11public:12 void ref();13 void deref();14 15 void someWork() { crash(); }16};17 18SomeObj* provide();19 20void doSomeWork() {21 provide()->someWork();22}23