<div dir="ltr"><div><div><div><div>Hi Everyone,<br></div>Does Clan Static Analyzer recognize `__builtin_trap()` or `__builtin_assume()` or `__builtin_unreachable()` or some similar thin that indicates undesired failure? So that I (library author) could assist the analyzer in reporting bad usages of a library:<br><br>```<br></div>T& optional<T>::value()<br>{<br></div>  if (!this->is_initialized)<br>    __builtin_trap(); // if analyzer reaches this path, it should report a warnin<br></div>  return reinterpret_cast<T&>(_raw_storage);<br><div><div>}<br><div><div>```<br><br></div><div>Regards,<br></div><div>&rzej;<br></div><div><br></div></div></div></div></div>