Skip to content

Commit fcba709

Browse files
committed
C++: Also make protected members irrelevant.
1 parent 3dfb68d commit fcba709

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -58,7 +58,7 @@ module ModelGeneratorInput implements ModelGeneratorInputSig<Location, CppDataFl
5858
* to be an implementation detail of some other "public" function for which
5959
* we will generate a summary.
6060
*/
61-
private predicate isPrivate(Function f) {
61+
private predicate isPrivateOrProtected(Function f) {
6262
f.getNamespace().getParentNamespace*().isAnonymous()
6363
or
6464
exists(MemberFunction mf | mf = f |
@@ -75,7 +75,7 @@ module ModelGeneratorInput implements ModelGeneratorInputSig<Location, CppDataFl
7575
// not relevant (which is good!)
7676
not api.(Function).hasDefinition()
7777
or
78-
isPrivate(api)
78+
isPrivateOrProtected(api)
7979
or
8080
api instanceof Destructor
8181
or

0 commit comments

Comments
 (0)