Skip to content

Commit dd3d701

Browse files
committed
C++: Undo a change that wasn't actually necessary.
1 parent f7d1544 commit dd3d701

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -942,7 +942,7 @@ private Type getTypeImpl0(Type t, int indirectionIndex) {
942942
or
943943
indirectionIndex > 0 and
944944
exists(Type stripped |
945-
stripped = stripPointer(t) and
945+
stripped = stripPointer(t.stripTopLevelSpecifiers()) and
946946
// We need to avoid the case where `stripPointer(t) = t` (which can happen
947947
// on iterators that specify a `value_type` that is the iterator itself).
948948
// Such a type would create an infinite loop otherwise. For these cases we

0 commit comments

Comments
 (0)