mirror of
https://github.com/github/codeql.git
synced 2026-04-30 11:15:13 +02:00
C++: we now process operands for vacuous destructor calls thru pointers
This commit is contained in:
@@ -886,6 +886,9 @@ VacuousDestructorCall.cpp:
|
||||
# 4| 0: (vacuous destructor call)
|
||||
# 4| Type = void
|
||||
# 4| ValueCategory = prvalue
|
||||
# 4| 0: y
|
||||
# 4| Type = int *
|
||||
# 4| ValueCategory = prvalue(load)
|
||||
# 5| 2: return ...
|
||||
# 7| Vacuous(int) -> void
|
||||
# 7| params:
|
||||
|
||||
Reference in New Issue
Block a user