hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #16298 from jketema/reuse-val

Browse Source 
C++: Update expected test results after extractor changes
This commit is contained in:
Jeroen Ketema
2024-04-22 21:14:42 +02:00
committed by GitHub
parent 799c380e5f 76637b0d03
commit 35d1a9202b
3 changed files with 1094 additions and 984 deletions
Download Patch File Download Diff File Expand all files Collapse all files

96
cpp/ql/test/library-tests/ir/ir/PrintAST.expected
View File

@@ -1981,6 +1981,9 @@ coroutines.cpp:
# 87| getQualifier(): [PointerDereferenceExpr] * ... # 87| getQualifier(): [PointerDereferenceExpr] * ...
# 87| Type = [Struct] suspend_always # 87| Type = [Struct] suspend_always
# 87| ValueCategory = lvalue # 87| ValueCategory = lvalue
# 87| getOperand(): [ReuseExpr] reuse of & ...
# 87| Type = [PointerType] suspend_always *
# 87| ValueCategory = prvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)... #-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
#-----| Conversion = [GlvalueConversion] glvalue conversion #-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const suspend_always #-----| Type = [SpecifiedType] const suspend_always
@@ -1991,6 +1994,9 @@ coroutines.cpp:
# 87| getQualifier(): [PointerDereferenceExpr] * ... # 87| getQualifier(): [PointerDereferenceExpr] * ...
# 87| Type = [Struct] suspend_always # 87| Type = [Struct] suspend_always
# 87| ValueCategory = lvalue # 87| ValueCategory = lvalue
# 87| getOperand(): [ReuseExpr] reuse of & ...
# 87| Type = [PointerType] suspend_always *
# 87| ValueCategory = prvalue
# 87| getArgument(0): [ConstructorCall] call to coroutine_handle # 87| getArgument(0): [ConstructorCall] call to coroutine_handle
# 87| Type = [VoidType] void # 87| Type = [VoidType] void
# 87| ValueCategory = prvalue # 87| ValueCategory = prvalue
@@ -2081,6 +2087,9 @@ coroutines.cpp:
# 87| getQualifier(): [PointerDereferenceExpr] * ... # 87| getQualifier(): [PointerDereferenceExpr] * ...
# 87| Type = [Struct] suspend_always # 87| Type = [Struct] suspend_always
# 87| ValueCategory = lvalue # 87| ValueCategory = lvalue
# 87| getOperand(): [ReuseExpr] reuse of & ...
# 87| Type = [PointerType] suspend_always *
# 87| ValueCategory = prvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)... #-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
#-----| Conversion = [GlvalueConversion] glvalue conversion #-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const suspend_always #-----| Type = [SpecifiedType] const suspend_always
@@ -2091,6 +2100,9 @@ coroutines.cpp:
# 87| getQualifier(): [PointerDereferenceExpr] * ... # 87| getQualifier(): [PointerDereferenceExpr] * ...
# 87| Type = [Struct] suspend_always # 87| Type = [Struct] suspend_always
# 87| ValueCategory = lvalue # 87| ValueCategory = lvalue
# 87| getOperand(): [ReuseExpr] reuse of & ...
# 87| Type = [PointerType] suspend_always *
# 87| ValueCategory = prvalue
# 87| getArgument(0): [ConstructorCall] call to coroutine_handle # 87| getArgument(0): [ConstructorCall] call to coroutine_handle
# 87| Type = [VoidType] void # 87| Type = [VoidType] void
# 87| ValueCategory = prvalue # 87| ValueCategory = prvalue
@@ -2182,6 +2194,9 @@ coroutines.cpp:
# 91| getQualifier(): [PointerDereferenceExpr] * ... # 91| getQualifier(): [PointerDereferenceExpr] * ...
# 91| Type = [Struct] suspend_always # 91| Type = [Struct] suspend_always
# 91| ValueCategory = lvalue # 91| ValueCategory = lvalue
# 91| getOperand(): [ReuseExpr] reuse of & ...
# 91| Type = [PointerType] suspend_always *
# 91| ValueCategory = prvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)... #-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
#-----| Conversion = [GlvalueConversion] glvalue conversion #-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const suspend_always #-----| Type = [SpecifiedType] const suspend_always
@@ -2192,6 +2207,9 @@ coroutines.cpp:
# 91| getQualifier(): [PointerDereferenceExpr] * ... # 91| getQualifier(): [PointerDereferenceExpr] * ...
# 91| Type = [Struct] suspend_always # 91| Type = [Struct] suspend_always
# 91| ValueCategory = lvalue # 91| ValueCategory = lvalue
# 91| getOperand(): [ReuseExpr] reuse of & ...
# 91| Type = [PointerType] suspend_always *
# 91| ValueCategory = prvalue
# 91| getArgument(0): [ConstructorCall] call to coroutine_handle # 91| getArgument(0): [ConstructorCall] call to coroutine_handle
# 91| Type = [VoidType] void # 91| Type = [VoidType] void
# 91| ValueCategory = prvalue # 91| ValueCategory = prvalue
@@ -2285,6 +2303,9 @@ coroutines.cpp:
# 91| getQualifier(): [PointerDereferenceExpr] * ... # 91| getQualifier(): [PointerDereferenceExpr] * ...
# 91| Type = [Struct] suspend_always # 91| Type = [Struct] suspend_always
# 91| ValueCategory = lvalue # 91| ValueCategory = lvalue
# 91| getOperand(): [ReuseExpr] reuse of & ...
# 91| Type = [PointerType] suspend_always *
# 91| ValueCategory = prvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)... #-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
#-----| Conversion = [GlvalueConversion] glvalue conversion #-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const suspend_always #-----| Type = [SpecifiedType] const suspend_always
@@ -2295,6 +2316,9 @@ coroutines.cpp:
# 91| getQualifier(): [PointerDereferenceExpr] * ... # 91| getQualifier(): [PointerDereferenceExpr] * ...
# 91| Type = [Struct] suspend_always # 91| Type = [Struct] suspend_always
# 91| ValueCategory = lvalue # 91| ValueCategory = lvalue
# 91| getOperand(): [ReuseExpr] reuse of & ...
# 91| Type = [PointerType] suspend_always *
# 91| ValueCategory = prvalue
# 91| getArgument(0): [ConstructorCall] call to coroutine_handle # 91| getArgument(0): [ConstructorCall] call to coroutine_handle
# 91| Type = [VoidType] void # 91| Type = [VoidType] void
# 91| ValueCategory = prvalue # 91| ValueCategory = prvalue
@@ -2386,6 +2410,9 @@ coroutines.cpp:
# 95| getQualifier(): [PointerDereferenceExpr] * ... # 95| getQualifier(): [PointerDereferenceExpr] * ...
# 95| Type = [Struct] suspend_always # 95| Type = [Struct] suspend_always
# 95| ValueCategory = lvalue # 95| ValueCategory = lvalue
# 95| getOperand(): [ReuseExpr] reuse of & ...
# 95| Type = [PointerType] suspend_always *
# 95| ValueCategory = prvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)... #-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
#-----| Conversion = [GlvalueConversion] glvalue conversion #-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const suspend_always #-----| Type = [SpecifiedType] const suspend_always
@@ -2396,6 +2423,9 @@ coroutines.cpp:
# 95| getQualifier(): [PointerDereferenceExpr] * ... # 95| getQualifier(): [PointerDereferenceExpr] * ...
# 95| Type = [Struct] suspend_always # 95| Type = [Struct] suspend_always
# 95| ValueCategory = lvalue # 95| ValueCategory = lvalue
# 95| getOperand(): [ReuseExpr] reuse of & ...
# 95| Type = [PointerType] suspend_always *
# 95| ValueCategory = prvalue
# 95| getArgument(0): [ConstructorCall] call to coroutine_handle # 95| getArgument(0): [ConstructorCall] call to coroutine_handle
# 95| Type = [VoidType] void # 95| Type = [VoidType] void
# 95| ValueCategory = prvalue # 95| ValueCategory = prvalue
@@ -2463,6 +2493,9 @@ coroutines.cpp:
# 96| getQualifier(): [PointerDereferenceExpr] * ... # 96| getQualifier(): [PointerDereferenceExpr] * ...
# 96| Type = [Struct] suspend_always # 96| Type = [Struct] suspend_always
# 96| ValueCategory = lvalue # 96| ValueCategory = lvalue
# 96| getOperand(): [ReuseExpr] reuse of & ...
# 96| Type = [PointerType] suspend_always *
# 96| ValueCategory = prvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)... #-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
#-----| Conversion = [GlvalueConversion] glvalue conversion #-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const suspend_always #-----| Type = [SpecifiedType] const suspend_always
@@ -2473,6 +2506,9 @@ coroutines.cpp:
# 96| getQualifier(): [PointerDereferenceExpr] * ... # 96| getQualifier(): [PointerDereferenceExpr] * ...
# 96| Type = [Struct] suspend_always # 96| Type = [Struct] suspend_always
# 96| ValueCategory = lvalue # 96| ValueCategory = lvalue
# 96| getOperand(): [ReuseExpr] reuse of & ...
# 96| Type = [PointerType] suspend_always *
# 96| ValueCategory = prvalue
# 96| getArgument(0): [ConstructorCall] call to coroutine_handle # 96| getArgument(0): [ConstructorCall] call to coroutine_handle
# 96| Type = [VoidType] void # 96| Type = [VoidType] void
# 96| ValueCategory = prvalue # 96| ValueCategory = prvalue
@@ -2563,6 +2599,9 @@ coroutines.cpp:
# 95| getQualifier(): [PointerDereferenceExpr] * ... # 95| getQualifier(): [PointerDereferenceExpr] * ...
# 95| Type = [Struct] suspend_always # 95| Type = [Struct] suspend_always
# 95| ValueCategory = lvalue # 95| ValueCategory = lvalue
# 95| getOperand(): [ReuseExpr] reuse of & ...
# 95| Type = [PointerType] suspend_always *
# 95| ValueCategory = prvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)... #-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
#-----| Conversion = [GlvalueConversion] glvalue conversion #-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const suspend_always #-----| Type = [SpecifiedType] const suspend_always
@@ -2573,6 +2612,9 @@ coroutines.cpp:
# 95| getQualifier(): [PointerDereferenceExpr] * ... # 95| getQualifier(): [PointerDereferenceExpr] * ...
# 95| Type = [Struct] suspend_always # 95| Type = [Struct] suspend_always
# 95| ValueCategory = lvalue # 95| ValueCategory = lvalue
# 95| getOperand(): [ReuseExpr] reuse of & ...
# 95| Type = [PointerType] suspend_always *
# 95| ValueCategory = prvalue
# 95| getArgument(0): [ConstructorCall] call to coroutine_handle # 95| getArgument(0): [ConstructorCall] call to coroutine_handle
# 95| Type = [VoidType] void # 95| Type = [VoidType] void
# 95| ValueCategory = prvalue # 95| ValueCategory = prvalue
@@ -2664,6 +2706,9 @@ coroutines.cpp:
# 99| getQualifier(): [PointerDereferenceExpr] * ... # 99| getQualifier(): [PointerDereferenceExpr] * ...
# 99| Type = [Struct] suspend_always # 99| Type = [Struct] suspend_always
# 99| ValueCategory = lvalue # 99| ValueCategory = lvalue
# 99| getOperand(): [ReuseExpr] reuse of & ...
# 99| Type = [PointerType] suspend_always *
# 99| ValueCategory = prvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)... #-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
#-----| Conversion = [GlvalueConversion] glvalue conversion #-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const suspend_always #-----| Type = [SpecifiedType] const suspend_always
@@ -2674,6 +2719,9 @@ coroutines.cpp:
# 99| getQualifier(): [PointerDereferenceExpr] * ... # 99| getQualifier(): [PointerDereferenceExpr] * ...
# 99| Type = [Struct] suspend_always # 99| Type = [Struct] suspend_always
# 99| ValueCategory = lvalue # 99| ValueCategory = lvalue
# 99| getOperand(): [ReuseExpr] reuse of & ...
# 99| Type = [PointerType] suspend_always *
# 99| ValueCategory = prvalue
# 99| getArgument(0): [ConstructorCall] call to coroutine_handle # 99| getArgument(0): [ConstructorCall] call to coroutine_handle
# 99| Type = [VoidType] void # 99| Type = [VoidType] void
# 99| ValueCategory = prvalue # 99| ValueCategory = prvalue
@@ -2741,6 +2789,9 @@ coroutines.cpp:
# 100| getQualifier(): [PointerDereferenceExpr] * ... # 100| getQualifier(): [PointerDereferenceExpr] * ...
# 100| Type = [Struct] suspend_always # 100| Type = [Struct] suspend_always
# 100| ValueCategory = lvalue # 100| ValueCategory = lvalue
# 100| getOperand(): [ReuseExpr] reuse of & ...
# 100| Type = [PointerType] suspend_always *
# 100| ValueCategory = prvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)... #-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
#-----| Conversion = [GlvalueConversion] glvalue conversion #-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const suspend_always #-----| Type = [SpecifiedType] const suspend_always
@@ -2751,6 +2802,9 @@ coroutines.cpp:
# 100| getQualifier(): [PointerDereferenceExpr] * ... # 100| getQualifier(): [PointerDereferenceExpr] * ...
# 100| Type = [Struct] suspend_always # 100| Type = [Struct] suspend_always
# 100| ValueCategory = lvalue # 100| ValueCategory = lvalue
# 100| getOperand(): [ReuseExpr] reuse of & ...
# 100| Type = [PointerType] suspend_always *
# 100| ValueCategory = prvalue
# 100| getArgument(0): [ConstructorCall] call to coroutine_handle # 100| getArgument(0): [ConstructorCall] call to coroutine_handle
# 100| Type = [VoidType] void # 100| Type = [VoidType] void
# 100| ValueCategory = prvalue # 100| ValueCategory = prvalue
@@ -2833,6 +2887,9 @@ coroutines.cpp:
# 99| getQualifier(): [PointerDereferenceExpr] * ... # 99| getQualifier(): [PointerDereferenceExpr] * ...
# 99| Type = [Struct] suspend_always # 99| Type = [Struct] suspend_always
# 99| ValueCategory = lvalue # 99| ValueCategory = lvalue
# 99| getOperand(): [ReuseExpr] reuse of & ...
# 99| Type = [PointerType] suspend_always *
# 99| ValueCategory = prvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)... #-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
#-----| Conversion = [GlvalueConversion] glvalue conversion #-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const suspend_always #-----| Type = [SpecifiedType] const suspend_always
@@ -2843,6 +2900,9 @@ coroutines.cpp:
# 99| getQualifier(): [PointerDereferenceExpr] * ... # 99| getQualifier(): [PointerDereferenceExpr] * ...
# 99| Type = [Struct] suspend_always # 99| Type = [Struct] suspend_always
# 99| ValueCategory = lvalue # 99| ValueCategory = lvalue
# 99| getOperand(): [ReuseExpr] reuse of & ...
# 99| Type = [PointerType] suspend_always *
# 99| ValueCategory = prvalue
# 99| getArgument(0): [ConstructorCall] call to coroutine_handle # 99| getArgument(0): [ConstructorCall] call to coroutine_handle
# 99| Type = [VoidType] void # 99| Type = [VoidType] void
# 99| ValueCategory = prvalue # 99| ValueCategory = prvalue
@@ -2934,6 +2994,9 @@ coroutines.cpp:
# 103| getQualifier(): [PointerDereferenceExpr] * ... # 103| getQualifier(): [PointerDereferenceExpr] * ...
# 103| Type = [Struct] suspend_always # 103| Type = [Struct] suspend_always
# 103| ValueCategory = lvalue # 103| ValueCategory = lvalue
# 103| getOperand(): [ReuseExpr] reuse of & ...
# 103| Type = [PointerType] suspend_always *
# 103| ValueCategory = prvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)... #-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
#-----| Conversion = [GlvalueConversion] glvalue conversion #-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const suspend_always #-----| Type = [SpecifiedType] const suspend_always
@@ -2944,6 +3007,9 @@ coroutines.cpp:
# 103| getQualifier(): [PointerDereferenceExpr] * ... # 103| getQualifier(): [PointerDereferenceExpr] * ...
# 103| Type = [Struct] suspend_always # 103| Type = [Struct] suspend_always
# 103| ValueCategory = lvalue # 103| ValueCategory = lvalue
# 103| getOperand(): [ReuseExpr] reuse of & ...
# 103| Type = [PointerType] suspend_always *
# 103| ValueCategory = prvalue
# 103| getArgument(0): [ConstructorCall] call to coroutine_handle # 103| getArgument(0): [ConstructorCall] call to coroutine_handle
# 103| Type = [VoidType] void # 103| Type = [VoidType] void
# 103| ValueCategory = prvalue # 103| ValueCategory = prvalue
@@ -3011,6 +3077,9 @@ coroutines.cpp:
# 104| getQualifier(): [PointerDereferenceExpr] * ... # 104| getQualifier(): [PointerDereferenceExpr] * ...
# 104| Type = [Struct] suspend_always # 104| Type = [Struct] suspend_always
# 104| ValueCategory = lvalue # 104| ValueCategory = lvalue
# 104| getOperand(): [ReuseExpr] reuse of & ...
# 104| Type = [PointerType] suspend_always *
# 104| ValueCategory = prvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)... #-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
#-----| Conversion = [GlvalueConversion] glvalue conversion #-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const suspend_always #-----| Type = [SpecifiedType] const suspend_always
@@ -3021,6 +3090,9 @@ coroutines.cpp:
# 104| getQualifier(): [PointerDereferenceExpr] * ... # 104| getQualifier(): [PointerDereferenceExpr] * ...
# 104| Type = [Struct] suspend_always # 104| Type = [Struct] suspend_always
# 104| ValueCategory = lvalue # 104| ValueCategory = lvalue
# 104| getOperand(): [ReuseExpr] reuse of & ...
# 104| Type = [PointerType] suspend_always *
# 104| ValueCategory = prvalue
# 104| getArgument(0): [ConstructorCall] call to coroutine_handle # 104| getArgument(0): [ConstructorCall] call to coroutine_handle
# 104| Type = [VoidType] void # 104| Type = [VoidType] void
# 104| ValueCategory = prvalue # 104| ValueCategory = prvalue
@@ -3111,6 +3183,9 @@ coroutines.cpp:
# 103| getQualifier(): [PointerDereferenceExpr] * ... # 103| getQualifier(): [PointerDereferenceExpr] * ...
# 103| Type = [Struct] suspend_always # 103| Type = [Struct] suspend_always
# 103| ValueCategory = lvalue # 103| ValueCategory = lvalue
# 103| getOperand(): [ReuseExpr] reuse of & ...
# 103| Type = [PointerType] suspend_always *
# 103| ValueCategory = prvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)... #-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
#-----| Conversion = [GlvalueConversion] glvalue conversion #-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const suspend_always #-----| Type = [SpecifiedType] const suspend_always
@@ -3121,6 +3196,9 @@ coroutines.cpp:
# 103| getQualifier(): [PointerDereferenceExpr] * ... # 103| getQualifier(): [PointerDereferenceExpr] * ...
# 103| Type = [Struct] suspend_always # 103| Type = [Struct] suspend_always
# 103| ValueCategory = lvalue # 103| ValueCategory = lvalue
# 103| getOperand(): [ReuseExpr] reuse of & ...
# 103| Type = [PointerType] suspend_always *
# 103| ValueCategory = prvalue
# 103| getArgument(0): [ConstructorCall] call to coroutine_handle # 103| getArgument(0): [ConstructorCall] call to coroutine_handle
# 103| Type = [VoidType] void # 103| Type = [VoidType] void
# 103| ValueCategory = prvalue # 103| ValueCategory = prvalue
@@ -3212,6 +3290,9 @@ coroutines.cpp:
# 108| getQualifier(): [PointerDereferenceExpr] * ... # 108| getQualifier(): [PointerDereferenceExpr] * ...
# 108| Type = [Struct] suspend_always # 108| Type = [Struct] suspend_always
# 108| ValueCategory = lvalue # 108| ValueCategory = lvalue
# 108| getOperand(): [ReuseExpr] reuse of & ...
# 108| Type = [PointerType] suspend_always *
# 108| ValueCategory = prvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)... #-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
#-----| Conversion = [GlvalueConversion] glvalue conversion #-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const suspend_always #-----| Type = [SpecifiedType] const suspend_always
@@ -3222,6 +3303,9 @@ coroutines.cpp:
# 108| getQualifier(): [PointerDereferenceExpr] * ... # 108| getQualifier(): [PointerDereferenceExpr] * ...
# 108| Type = [Struct] suspend_always # 108| Type = [Struct] suspend_always
# 108| ValueCategory = lvalue # 108| ValueCategory = lvalue
# 108| getOperand(): [ReuseExpr] reuse of & ...
# 108| Type = [PointerType] suspend_always *
# 108| ValueCategory = prvalue
# 108| getArgument(0): [ConstructorCall] call to coroutine_handle # 108| getArgument(0): [ConstructorCall] call to coroutine_handle
# 108| Type = [VoidType] void # 108| Type = [VoidType] void
# 108| ValueCategory = prvalue # 108| ValueCategory = prvalue
@@ -3289,6 +3373,9 @@ coroutines.cpp:
# 109| getQualifier(): [PointerDereferenceExpr] * ... # 109| getQualifier(): [PointerDereferenceExpr] * ...
# 109| Type = [Struct] suspend_always # 109| Type = [Struct] suspend_always
# 109| ValueCategory = lvalue # 109| ValueCategory = lvalue
# 109| getOperand(): [ReuseExpr] reuse of & ...
# 109| Type = [PointerType] suspend_always *
# 109| ValueCategory = prvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)... #-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
#-----| Conversion = [GlvalueConversion] glvalue conversion #-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const suspend_always #-----| Type = [SpecifiedType] const suspend_always
@@ -3299,6 +3386,9 @@ coroutines.cpp:
# 109| getQualifier(): [PointerDereferenceExpr] * ... # 109| getQualifier(): [PointerDereferenceExpr] * ...
# 109| Type = [Struct] suspend_always # 109| Type = [Struct] suspend_always
# 109| ValueCategory = lvalue # 109| ValueCategory = lvalue
# 109| getOperand(): [ReuseExpr] reuse of & ...
# 109| Type = [PointerType] suspend_always *
# 109| ValueCategory = prvalue
# 109| getArgument(0): [ConstructorCall] call to coroutine_handle # 109| getArgument(0): [ConstructorCall] call to coroutine_handle
# 109| Type = [VoidType] void # 109| Type = [VoidType] void
# 109| ValueCategory = prvalue # 109| ValueCategory = prvalue
@@ -3402,6 +3492,9 @@ coroutines.cpp:
# 108| getQualifier(): [PointerDereferenceExpr] * ... # 108| getQualifier(): [PointerDereferenceExpr] * ...
# 108| Type = [Struct] suspend_always # 108| Type = [Struct] suspend_always
# 108| ValueCategory = lvalue # 108| ValueCategory = lvalue
# 108| getOperand(): [ReuseExpr] reuse of & ...
# 108| Type = [PointerType] suspend_always *
# 108| ValueCategory = prvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)... #-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
#-----| Conversion = [GlvalueConversion] glvalue conversion #-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const suspend_always #-----| Type = [SpecifiedType] const suspend_always
@@ -3412,6 +3505,9 @@ coroutines.cpp:
# 108| getQualifier(): [PointerDereferenceExpr] * ... # 108| getQualifier(): [PointerDereferenceExpr] * ...
# 108| Type = [Struct] suspend_always # 108| Type = [Struct] suspend_always
# 108| ValueCategory = lvalue # 108| ValueCategory = lvalue
# 108| getOperand(): [ReuseExpr] reuse of & ...
# 108| Type = [PointerType] suspend_always *
# 108| ValueCategory = prvalue
# 108| getArgument(0): [ConstructorCall] call to coroutine_handle # 108| getArgument(0): [ConstructorCall] call to coroutine_handle
# 108| Type = [VoidType] void # 108| Type = [VoidType] void
# 108| ValueCategory = prvalue # 108| ValueCategory = prvalue

70
cpp/ql/test/library-tests/ir/ir/raw_consistency.expected
View File

@@ -1,36 +1,4 @@
missingOperand missingOperand
| coroutines.cpp:87:20:88:11 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
| coroutines.cpp:87:20:88:11 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
| coroutines.cpp:87:20:88:11 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
| coroutines.cpp:87:20:88:11 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
| coroutines.cpp:91:21:92:11 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:91:21:91:33 | co_returnable_value co_return_int(int) | co_returnable_value co_return_int(int) |
| coroutines.cpp:91:21:92:11 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:91:21:91:33 | co_returnable_value co_return_int(int) | co_returnable_value co_return_int(int) |
| coroutines.cpp:91:21:92:11 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:91:21:91:33 | co_returnable_value co_return_int(int) | co_returnable_value co_return_int(int) |
| coroutines.cpp:91:21:92:11 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:91:21:91:33 | co_returnable_value co_return_int(int) | co_returnable_value co_return_int(int) |
| coroutines.cpp:95:20:96:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
| coroutines.cpp:95:20:96:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
| coroutines.cpp:95:20:96:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
| coroutines.cpp:95:20:96:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
| coroutines.cpp:96:13:96:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
| coroutines.cpp:96:13:96:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
| coroutines.cpp:99:21:100:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
| coroutines.cpp:99:21:100:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
| coroutines.cpp:99:21:100:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
| coroutines.cpp:99:21:100:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
| coroutines.cpp:100:13:100:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
| coroutines.cpp:100:13:100:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
| coroutines.cpp:103:20:104:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
| coroutines.cpp:103:20:104:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
| coroutines.cpp:103:20:104:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
| coroutines.cpp:103:20:104:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
| coroutines.cpp:104:13:104:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
| coroutines.cpp:104:13:104:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
| coroutines.cpp:108:21:109:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
| coroutines.cpp:108:21:109:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
| coroutines.cpp:108:21:109:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
| coroutines.cpp:108:21:109:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
| coroutines.cpp:109:13:109:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
| coroutines.cpp:109:13:109:13 | CopyValue: * ... | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
unexpectedOperand unexpectedOperand
duplicateOperand duplicateOperand
missingPhiOperand missingPhiOperand
@@ -86,12 +54,6 @@ instructionWithoutSuccessor
| file://:0:0:0:0 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' has no successors in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) | | file://:0:0:0:0 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' has no successors in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
| file://:0:0:0:0 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' has no successors in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) | | file://:0:0:0:0 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' has no successors in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
| file://:0:0:0:0 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' has no successors in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) | | file://:0:0:0:0 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' has no successors in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
| file://:0:0:0:0 | Store: ... = ... | Instruction 'Store: ... = ...' has no successors in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
| file://:0:0:0:0 | Store: ... = ... | Instruction 'Store: ... = ...' has no successors in function '$@'. | coroutines.cpp:91:21:91:33 | co_returnable_value co_return_int(int) | co_returnable_value co_return_int(int) |
| file://:0:0:0:0 | Store: ... = ... | Instruction 'Store: ... = ...' has no successors in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
| file://:0:0:0:0 | Store: ... = ... | Instruction 'Store: ... = ...' has no successors in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
| file://:0:0:0:0 | Store: ... = ... | Instruction 'Store: ... = ...' has no successors in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
| file://:0:0:0:0 | Store: ... = ... | Instruction 'Store: ... = ...' has no successors in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
ambiguousSuccessors ambiguousSuccessors
unexplainedLoop unexplainedLoop
unnecessaryPhiInstruction unnecessaryPhiInstruction
@@ -106,6 +68,38 @@ multipleIRTypes
lostReachability lostReachability
backEdgeCountMismatch backEdgeCountMismatch
useNotDominatedByDefinition useNotDominatedByDefinition
| coroutines.cpp:87:20:88:11 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
| coroutines.cpp:87:20:88:11 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
| coroutines.cpp:87:20:88:11 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
| coroutines.cpp:87:20:88:11 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
| coroutines.cpp:91:21:92:11 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:91:21:91:33 | co_returnable_value co_return_int(int) | co_returnable_value co_return_int(int) |
| coroutines.cpp:91:21:92:11 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:91:21:91:33 | co_returnable_value co_return_int(int) | co_returnable_value co_return_int(int) |
| coroutines.cpp:91:21:92:11 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:91:21:91:33 | co_returnable_value co_return_int(int) | co_returnable_value co_return_int(int) |
| coroutines.cpp:91:21:92:11 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:91:21:91:33 | co_returnable_value co_return_int(int) | co_returnable_value co_return_int(int) |
| coroutines.cpp:95:20:96:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
| coroutines.cpp:95:20:96:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
| coroutines.cpp:95:20:96:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
| coroutines.cpp:95:20:96:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
| coroutines.cpp:96:13:96:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
| coroutines.cpp:96:13:96:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
| coroutines.cpp:99:21:100:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
| coroutines.cpp:99:21:100:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
| coroutines.cpp:99:21:100:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
| coroutines.cpp:99:21:100:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
| coroutines.cpp:100:13:100:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
| coroutines.cpp:100:13:100:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
| coroutines.cpp:103:20:104:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
| coroutines.cpp:103:20:104:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
| coroutines.cpp:103:20:104:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
| coroutines.cpp:103:20:104:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
| coroutines.cpp:104:13:104:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
| coroutines.cpp:104:13:104:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
| coroutines.cpp:108:21:109:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
| coroutines.cpp:108:21:109:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
| coroutines.cpp:108:21:109:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
| coroutines.cpp:108:21:109:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
| coroutines.cpp:109:13:109:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
| coroutines.cpp:109:13:109:13 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
| ir.cpp:1535:8:1535:8 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | ir.cpp:1535:8:1535:8 | void StructuredBindingDataMemberStruct::StructuredBindingDataMemberStruct() | void StructuredBindingDataMemberStruct::StructuredBindingDataMemberStruct() | | ir.cpp:1535:8:1535:8 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | ir.cpp:1535:8:1535:8 | void StructuredBindingDataMemberStruct::StructuredBindingDataMemberStruct() | void StructuredBindingDataMemberStruct::StructuredBindingDataMemberStruct() |
| try_except.c:13:13:13:13 | Left | Operand 'Left' is not dominated by its definition in function '$@'. | try_except.c:6:6:6:6 | void f() | void f() | | try_except.c:13:13:13:13 | Left | Operand 'Left' is not dominated by its definition in function '$@'. | try_except.c:6:6:6:6 | void f() | void f() |
| try_except.c:13:13:13:13 | Left | Operand 'Left' is not dominated by its definition in function '$@'. | try_except.c:6:6:6:6 | void f() | void f() | | try_except.c:13:13:13:13 | Left | Operand 'Left' is not dominated by its definition in function '$@'. | try_except.c:6:6:6:6 | void f() | void f() |

1912
cpp/ql/test/library-tests/ir/ir/raw_ir.expected
View File

File diff suppressed because it is too large Load Diff