C++: Bind 'impl'. Oops.

2026-04-24 00:05:14 +02:00 · 2023-08-04 10:58:54 +02:00
parent d398c8c5a8
commit 75c333273c
1 changed files with 2 additions and 0 deletions
--- a/cpp/ql/lib/semmle/code/cpp/rangeanalysis/new/internal/semantic/analysis/Reason.qll
+++ b/cpp/ql/lib/semmle/code/cpp/rangeanalysis/new/internal/semantic/analysis/Reason.qll
@@ -65,6 +65,8 @@ module Make<ParamSig Param> {
  class SemTypeReason extends SemReason, TSemTypeReason {
    TypeReasonImpl impl;

+    SemTypeReason() { this = TSemTypeReason(impl) }
+
    override string toString() { result = "TypeReason" }

    bindingset[this, reason]