Skip to content

Commit 583651b

Browse files
committed
Missing NonCppThrowingFunction changes in Printf.qll
1 parent 248f1c4 commit 583651b

File tree

1 file changed

+4
-4
lines changed
  • cpp/ql/lib/semmle/code/cpp/models/implementations

1 file changed

+4
-4
lines changed

cpp/ql/lib/semmle/code/cpp/models/implementations/Printf.qll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -37,7 +37,7 @@ private class Printf extends FormattingFunction, AliasFunction, NonCppThrowingFu
3737
/**
3838
* The standard functions `fprintf`, `fwprintf` and their glib variants.
3939
*/
40-
private class Fprintf extends FormattingFunction, NonThrowingFunction {
40+
private class Fprintf extends FormattingFunction, NonCppThrowingFunction {
4141
Fprintf() {
4242
this instanceof TopLevelFunction and
4343
(
@@ -55,7 +55,7 @@ private class Fprintf extends FormattingFunction, NonThrowingFunction {
5555
/**
5656
* The standard function `sprintf` and its Microsoft and glib variants.
5757
*/
58-
private class Sprintf extends FormattingFunction, NonThrowingFunction {
58+
private class Sprintf extends FormattingFunction, NonCppThrowingFunction {
5959
Sprintf() {
6060
this instanceof TopLevelFunction and
6161
(
@@ -98,7 +98,7 @@ private class Sprintf extends FormattingFunction, NonThrowingFunction {
9898
/**
9999
* Implements `Snprintf`.
100100
*/
101-
private class SnprintfImpl extends Snprintf, AliasFunction, SideEffectFunction, NonThrowingFunction {
101+
private class SnprintfImpl extends Snprintf, AliasFunction, SideEffectFunction, NonCppThrowingFunction {
102102
SnprintfImpl() {
103103
this instanceof TopLevelFunction and
104104
(
@@ -205,7 +205,7 @@ private class StringCchPrintf extends FormattingFunction {
205205
/**
206206
* The standard function `syslog`.
207207
*/
208-
private class Syslog extends FormattingFunction, NonThrowingFunction {
208+
private class Syslog extends FormattingFunction, NonCppThrowingFunction {
209209
Syslog() {
210210
this instanceof TopLevelFunction and
211211
this.hasGlobalName("syslog") and

0 commit comments

Comments
 (0)