Files
codeql/cpp/ql/lib/semmle/code/cpp/models/implementations/NoexceptFunction.qll
2024-08-26 09:37:44 +02:00

12 lines
420 B
Plaintext

import semmle.code.cpp.models.interfaces.NonThrowing
/**
* A function that is annotated with a `noexcept` specifier (or the equivalent
* `throw()` specifier) guaranteeing that the function can not throw exceptions.
*
* Note: The `throw` specifier was deprecated in C++11 and removed in C++17.
*/
class NoexceptFunction extends NonThrowingFunction {
NoexceptFunction() { this.isNoExcept() or this.isNoThrow() }
}