diff options
| author | Erik Sohns <esohns@users.noreply.github.com> | 2023-04-06 11:09:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-06 11:09:11 +0200 |
| commit | a3a7c2a50383ebf00534c28014704ce57e092821 (patch) | |
| tree | 0de4a576c9929ac6d821462e1693882654f2a456 /ACE/bin/fuzz.pl | |
| parent | 5625244fd7bb77bafabce28fdec790f51ef50080 (diff) | |
| parent | b50aba0fdce1069b9aa9b1baac9adee396663779 (diff) | |
| download | ATCD-a3a7c2a50383ebf00534c28014704ce57e092821.tar.gz | |
Merge branch 'master' into message_queue_ex_get_queue
Diffstat (limited to 'ACE/bin/fuzz.pl')
| -rwxr-xr-x | ACE/bin/fuzz.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ACE/bin/fuzz.pl b/ACE/bin/fuzz.pl index f75c1b6d325..e6b857054b4 100755 --- a/ACE/bin/fuzz.pl +++ b/ACE/bin/fuzz.pl @@ -906,7 +906,7 @@ sub check_for_NULL () } if ($disable == 0) { if(/(\(|\)|\s+|=)NULL(\)|\s+|\;|\,)/ and $` !~ /\/\// and $` !~ /\/\*/ and $` !~ /\*\*+/ and $` !~ /\s+\*+\s+/) { - print_error ("$file:$.: NULL found"); + print_error ("$file:$.: NULL found, use nullptr"); } } } |