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

C++: remove all uses of Declaration::isDefined

Browse Source
This commit is contained in:
Robert Marsh
2020-04-14 10:53:43 -07:00
parent 5ee60762fe
commit b5c0a0f77d
6 changed files with 11 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/test/library-tests/templates/prototype_bodies/isdef_hasblock.ql
View File

@@ -3,6 +3,6 @@ import cpp
// It should be the case that "f.isDefined()" is equivalent to "exists(f.getBlock())".
from Function f, string isdef, string hasblock
where
(if f.isDefined() then isdef = "defined" else isdef = "not defined") and
(if f.hasDefinition() then isdef = "defined" else isdef = "not defined") and
(if exists(f.getBlock()) then hasblock = "has block" else hasblock = "no block")
select f.getName(), isdef, hasblock