hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 02:05:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Code and comment simplifications

Browse Source
This commit is contained in:
REDMOND\brodes
2024-12-03 11:06:08 -05:00
parent 37365c746c
commit e6641e7630
2 changed files with 3 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
cpp/ql/lib/semmle/code/cpp/models/interfaces/NonThrowing.qll
View File

@@ -7,7 +7,8 @@ import semmle.code.cpp.models.Models
/**
* A function that is guaranteed to never throw a C++ exception
* (distinct from a structured exception handling, SEH, exception).
*
* The function may still raise a structured exception handling (SEH) exception.
*/
abstract class NonCppThrowingFunction extends Function { }

6
cpp/ql/lib/semmle/code/cpp/models/interfaces/Throwing.qll
View File

@@ -14,8 +14,6 @@ import semmle.code.cpp.models.interfaces.FunctionInputsAndOutputs
* A function that is known to raise an exception.
*/
abstract class ThrowingFunction extends Function {
ThrowingFunction() { any() }
/**
* Holds if this function may throw an exception during evaluation.
* If `unconditional` is `true` the function always throws an exception.
@@ -24,8 +22,6 @@ abstract class ThrowingFunction extends Function {
}
/**
* A function that is known to raise an exception unconditionally.
* The only cases known where this happens is for SEH
* (structured exception handling) exceptions.
* A function that unconditionally raises a structured exception handling (SEH) exception.
*/
abstract class AlwaysSehThrowingFunction extends Function { }