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

C++: fix IR return block successors

Browse Source
This commit is contained in:
Robert Marsh
2019-11-14 10:29:48 -08:00
parent 8076156cb1
commit 2fb1d4d1b1
21 changed files with 1926 additions and 3892 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedFunction.qll
View File

@@ -123,8 +123,8 @@ class TranslatedFunction extends TranslatedElement, TTranslatedFunction {
or
child = getReadEffects() and
if hasReturnValue()
then result = getInstruction(ReturnTag())
else result = getInstruction(ReturnValueAddressTag())
then result = getInstruction(ReturnValueAddressTag())
else result = getInstruction(ReturnTag())
}
final override predicate hasInstruction(Opcode opcode, InstructionTag tag, CppType resultType) {

8
cpp/ql/test/library-tests/dataflow/dataflow-tests/test_diff.expected
View File

@@ -7,6 +7,7 @@
| lambdas.cpp:8:10:8:15 | lambdas.cpp:18:8:18:8 | AST only |
| lambdas.cpp:8:10:8:15 | lambdas.cpp:21:3:21:6 | AST only |
| lambdas.cpp:8:10:8:15 | lambdas.cpp:29:3:29:6 | AST only |
| lambdas.cpp:8:10:8:15 | lambdas.cpp:35:8:35:8 | AST only |
| lambdas.cpp:8:10:8:15 | lambdas.cpp:41:8:41:8 | AST only |
| lambdas.cpp:43:7:43:12 | lambdas.cpp:46:7:46:7 | AST only |
| ref.cpp:29:11:29:16 | ref.cpp:62:10:62:11 | AST only |
@@ -22,13 +23,6 @@
| test.cpp:89:28:89:34 | test.cpp:92:8:92:14 | IR only |
| test.cpp:100:13:100:18 | test.cpp:103:10:103:12 | AST only |
| test.cpp:109:9:109:14 | test.cpp:110:10:110:12 | IR only |
| test.cpp:138:27:138:32 | test.cpp:140:8:140:8 | AST only |
| test.cpp:151:33:151:38 | test.cpp:152:8:152:8 | AST only |
| test.cpp:164:34:164:39 | test.cpp:165:8:165:8 | AST only |
| test.cpp:171:11:171:16 | test.cpp:178:8:178:8 | AST only |
| test.cpp:265:22:265:27 | test.cpp:266:12:266:12 | AST only |
| test.cpp:305:17:305:22 | test.cpp:289:14:289:14 | AST only |
| test.cpp:314:4:314:9 | test.cpp:318:7:318:7 | AST only |
| test.cpp:347:17:347:22 | test.cpp:349:10:349:18 | AST only |
| test.cpp:359:13:359:18 | test.cpp:365:10:365:14 | AST only |
| test.cpp:373:13:373:18 | test.cpp:369:10:369:14 | AST only |

8
cpp/ql/test/library-tests/dataflow/dataflow-tests/test_ir.expected
View File

@@ -3,7 +3,6 @@
| clang.cpp:37:10:37:11 | Load: m2 | clang.cpp:34:32:34:37 | Call: call to source |
| clang.cpp:41:18:41:19 | Load: m2 | clang.cpp:39:42:39:47 | Call: call to source |
| clang.cpp:45:17:45:18 | Load: m2 | clang.cpp:43:35:43:40 | Call: call to source |
| lambdas.cpp:35:8:35:8 | Load: a | lambdas.cpp:8:10:8:15 | Call: call to source |
| test.cpp:7:8:7:9 | Load: t1 | test.cpp:6:12:6:17 | Call: call to source |
| test.cpp:9:8:9:9 | Load: t1 | test.cpp:6:12:6:17 | Call: call to source |
| test.cpp:10:8:10:9 | Load: t2 | test.cpp:6:12:6:17 | Call: call to source |
@@ -19,9 +18,16 @@
| test.cpp:90:8:90:14 | Load: source1 | test.cpp:89:28:89:34 | InitializeParameter: source1 |
| test.cpp:92:8:92:14 | Load: source1 | test.cpp:89:28:89:34 | InitializeParameter: source1 |
| test.cpp:110:10:110:12 | Load: (reference dereference) | test.cpp:109:9:109:14 | Call: call to source |
| test.cpp:140:8:140:8 | Load: y | test.cpp:138:27:138:32 | Call: call to source |
| test.cpp:144:8:144:8 | Load: s | test.cpp:151:33:151:38 | Call: call to source |
| test.cpp:152:8:152:8 | Load: y | test.cpp:151:33:151:38 | Call: call to source |
| test.cpp:157:8:157:8 | Load: x | test.cpp:164:34:164:39 | Call: call to source |
| test.cpp:165:8:165:8 | Load: y | test.cpp:164:34:164:39 | Call: call to source |
| test.cpp:178:8:178:8 | Load: y | test.cpp:171:11:171:16 | Call: call to source |
| test.cpp:260:12:260:12 | Load: x | test.cpp:245:14:245:19 | Call: call to source |
| test.cpp:266:12:266:12 | Load: x | test.cpp:265:22:265:27 | Call: call to source |
| test.cpp:289:14:289:14 | Load: x | test.cpp:305:17:305:22 | Call: call to source |
| test.cpp:318:7:318:7 | Load: x | test.cpp:314:4:314:9 | Call: call to source |
| test.cpp:450:9:450:22 | CopyValue: (statement expression) | test.cpp:449:26:449:32 | InitializeParameter: source1 |
| test.cpp:461:8:461:12 | Load: local | test.cpp:449:26:449:32 | InitializeParameter: source1 |
| true_upon_entry.cpp:13:8:13:8 | Load: x | true_upon_entry.cpp:9:11:9:16 | Call: call to source |

4
cpp/ql/test/library-tests/dataflow/taint-tests/test_diff.expected
View File

@@ -9,7 +9,6 @@
| taint.cpp:109:7:109:13 | taint.cpp:105:12:105:17 | IR only |
| taint.cpp:130:7:130:9 | taint.cpp:127:8:127:13 | IR only |
| taint.cpp:137:7:137:9 | taint.cpp:120:11:120:16 | AST only |
| taint.cpp:151:7:151:12 | taint.cpp:151:20:151:25 | AST only |
| taint.cpp:173:8:173:13 | taint.cpp:164:19:164:24 | AST only |
| taint.cpp:181:8:181:9 | taint.cpp:185:11:185:16 | AST only |
| taint.cpp:195:7:195:7 | taint.cpp:192:23:192:28 | AST only |
@@ -20,10 +19,9 @@
| taint.cpp:233:8:233:8 | taint.cpp:223:10:223:15 | AST only |
| taint.cpp:236:3:236:6 | taint.cpp:223:10:223:15 | AST only |
| taint.cpp:244:3:244:6 | taint.cpp:223:10:223:15 | AST only |
| taint.cpp:250:8:250:8 | taint.cpp:223:10:223:15 | AST only |
| taint.cpp:256:8:256:8 | taint.cpp:223:10:223:15 | AST only |
| taint.cpp:261:7:261:7 | taint.cpp:258:7:258:12 | AST only |
| taint.cpp:290:7:290:7 | taint.cpp:275:6:275:11 | AST only |
| taint.cpp:291:7:291:7 | taint.cpp:275:6:275:11 | AST only |
| taint.cpp:350:7:350:7 | taint.cpp:330:6:330:11 | AST only |
| taint.cpp:351:7:351:7 | taint.cpp:330:6:330:11 | AST only |
| taint.cpp:352:7:352:7 | taint.cpp:330:6:330:11 | AST only |

4
cpp/ql/test/library-tests/dataflow/taint-tests/test_ir.expected
View File

@@ -5,10 +5,12 @@
| taint.cpp:129:7:129:9 | Load: * ... | taint.cpp:120:11:120:16 | Call: call to source |
| taint.cpp:130:7:130:9 | Load: * ... | taint.cpp:127:8:127:13 | Call: call to source |
| taint.cpp:134:7:134:9 | Load: * ... | taint.cpp:120:11:120:16 | Call: call to source |
| taint.cpp:151:7:151:12 | Call: call to select | taint.cpp:151:20:151:25 | Call: call to source |
| taint.cpp:167:8:167:13 | Call: call to source | taint.cpp:167:8:167:13 | Call: call to source |
| taint.cpp:168:8:168:14 | Load: tainted | taint.cpp:164:19:164:24 | Call: call to source |
| taint.cpp:210:7:210:7 | Load: x | taint.cpp:207:6:207:11 | Call: call to source |
| taint.cpp:250:8:250:8 | Load: a | taint.cpp:223:10:223:15 | Call: call to source |
| taint.cpp:280:7:280:7 | Load: t | taint.cpp:275:6:275:11 | Call: call to source |
| taint.cpp:289:7:289:7 | Load: t | taint.cpp:275:6:275:11 | Call: call to source |
| taint.cpp:290:7:290:7 | Load: x | taint.cpp:275:6:275:11 | Call: call to source |
| taint.cpp:291:7:291:7 | Load: y | taint.cpp:275:6:275:11 | Call: call to source |
| taint.cpp:337:7:337:7 | Load: t | taint.cpp:330:6:330:11 | Call: call to source |

6
cpp/ql/test/library-tests/ir/constant_func/constant_func.expected
View File

@@ -0,0 +1,6 @@
| constant_func.cpp:1:5:1:18 | IR: ReturnConstant | 7 |
| constant_func.cpp:5:5:5:21 | IR: ReturnConstantPhi | 7 |
| constant_func.cpp:25:5:25:25 | IR: ReturnConstantPhiLoop | 7 |
| constant_func.cpp:34:5:34:22 | IR: UnreachableViaGoto | 0 |
| constant_func.cpp:41:5:41:17 | IR: UnreachableIf | 0 |
| constant_func.cpp:62:5:62:16 | IR: DoWhileFalse | 1 |

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

@@ -67,31 +67,7 @@ bad_asts.cpp:
# 5| params:
#-----| 0: [Parameter] p#0
#-----| Type = [RValueReferenceType] S &&
# 9| [MemberFunction] int Bad::S::MemberFunction(int)
# 9| params:
# 9| 0: [Parameter] y
# 9| Type = [IntType] int
# 9| body: [Block] { ... }
# 10| 0: [ReturnStmt] return ...
# 10| 0: [AddExpr] ... + ...
# 10| Type = [IntType] int
# 10| ValueCategory = prvalue
# 10| 0: [AddExpr] ... + ...
# 10| Type = [IntType] int
# 10| ValueCategory = prvalue
# 10| 0: [Literal] Unknown literal
# 10| Type = [IntType] int
# 10| ValueCategory = prvalue
# 10| 1: [PointerFieldAccess] x
# 10| Type = [IntType] int
# 10| ValueCategory = prvalue(load)
#-----| -1: [ThisExpr] this
#-----| Type = [PointerType] S *
#-----| ValueCategory = prvalue(load)
# 10| 1: [VariableAccess] y
# 10| Type = [IntType] int
# 10| ValueCategory = prvalue(load)
# 9| [TopLevelFunction] int MemberFunction(int)
# 9| [FunctionTemplateInstantiation,MemberFunction] int Bad::S::MemberFunction<int>(int)
# 9| params:
# 9| 0: [Parameter] y
# 9| Type = [IntType] int
@@ -116,6 +92,31 @@ bad_asts.cpp:
# 10| 1: [VariableAccess] y
# 10| Type = [IntType] int
# 10| ValueCategory = prvalue(load)
# 9| [MemberFunction,TemplateFunction] int Bad::S::MemberFunction<int>(int)
# 9| params:
# 9| 0: [Parameter] y
# 9| Type = [IntType] int
# 9| body: [Block] { ... }
# 10| 0: [ReturnStmt] return ...
# 10| 0: [AddExpr] ... + ...
# 10| Type = [IntType] int
# 10| ValueCategory = prvalue
# 10| 0: [AddExpr] ... + ...
# 10| Type = [IntType] int
# 10| ValueCategory = prvalue
# 10| 0: [Literal] t
# 10| Type = [IntType] int
# 10| Value = [Literal] t
# 10| ValueCategory = prvalue
# 10| 1: [PointerFieldAccess] x
# 10| Type = [IntType] int
# 10| ValueCategory = prvalue(load)
#-----| -1: [ThisExpr] this
#-----| Type = [PointerType] S *
#-----| ValueCategory = prvalue(load)
# 10| 1: [VariableAccess] y
# 10| Type = [IntType] int
# 10| ValueCategory = prvalue(load)
# 14| [TopLevelFunction] void Bad::CallBadMemberFunction()
# 14| params:
# 14| body: [Block] { ... }

140
cpp/ql/test/library-tests/ir/ir/aliased_ssa_sanity.expected
View File

@@ -1,150 +1,10 @@
missingOperand
| clang.cpp:5:6:5:21 | ReturnValue: globalIntAddress | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | clang.cpp:5:6:5:21 | IR: globalIntAddress | int* globalIntAddress() |
| ir.cpp:235:5:235:14 | ReturnValue: Parameters | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:235:5:235:14 | IR: Parameters | int Parameters(int, int) |
| ir.cpp:341:5:341:15 | ReturnValue: Dereference | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:341:5:341:15 | IR: Dereference | int Dereference(int*) |
| ir.cpp:348:6:348:14 | ReturnValue: AddressOf | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:348:6:348:14 | IR: AddressOf | int* AddressOf() |
| ir.cpp:376:5:376:11 | ReturnValue: CallAdd | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:376:5:376:11 | IR: CallAdd | int CallAdd(int, int) |
| ir.cpp:380:5:380:9 | ReturnValue: Comma | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:380:5:380:9 | IR: Comma | int Comma(int, int) |
| ir.cpp:422:7:422:18 | ReturnValue: ReturnStruct | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:422:7:422:18 | IR: ReturnStruct | Point ReturnStruct(Point) |
| ir.cpp:543:5:543:20 | ReturnValue: EarlyReturnValue | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:543:5:543:20 | IR: EarlyReturnValue | int EarlyReturnValue(int, int) |
| ir.cpp:551:5:551:18 | ReturnValue: CallViaFuncPtr | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:551:5:551:18 | IR: CallViaFuncPtr | int CallViaFuncPtr(int(*)(int)) |
| ir.cpp:560:5:560:14 | ReturnValue: EnumSwitch | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:560:5:560:14 | IR: EnumSwitch | int EnumSwitch(E) |
| ir.cpp:630:16:630:35 | ReturnValue: StaticMemberFunction | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:630:16:630:35 | IR: StaticMemberFunction | int C::StaticMemberFunction(int) |
| ir.cpp:634:9:634:30 | ReturnValue: InstanceMemberFunction | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:634:9:634:30 | IR: InstanceMemberFunction | int C::InstanceMemberFunction(int) |
| ir.cpp:638:17:638:37 | ReturnValue: VirtualMemberFunction | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:638:17:638:37 | IR: VirtualMemberFunction | int C::VirtualMemberFunction(int) |
| ir.cpp:675:5:675:18 | ReturnValue: DerefReference | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:675:5:675:18 | IR: DerefReference | int DerefReference(int&) |
| ir.cpp:679:6:679:18 | ReturnValue: TakeReference | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:679:6:679:18 | IR: TakeReference | int& TakeReference() |
| ir.cpp:704:3:704:3 | ReturnValue: min | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:704:3:704:3 | IR: min | int min<int>(int, int) |
| ir.cpp:708:5:708:11 | ReturnValue: CallMin | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:708:5:708:11 | IR: CallMin | int CallMin(int, int) |
| ir.cpp:715:12:715:12 | ReturnValue: Func | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:715:12:715:12 | IR: Func | long Outer<long>::Func<void*, char>(void*, char) |
| ir.cpp:720:8:720:29 | ReturnValue: CallNestedTemplateFunc | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:720:8:720:29 | IR: CallNestedTemplateFunc | double CallNestedTemplateFunc() |
| ir.cpp:745:8:745:8 | ReturnValue: operator= | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:745:8:745:8 | IR: operator= | Base& Base::operator=(Base const&) |
| ir.cpp:754:8:754:8 | ReturnValue: operator= | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:754:8:754:8 | IR: operator= | Middle& Middle::operator=(Middle const&) |
| ir.cpp:763:8:763:8 | ReturnValue: operator= | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:763:8:763:8 | IR: operator= | Derived& Derived::operator=(Derived const&) |
| ir.cpp:961:5:961:18 | ReturnValue: designatedInit | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:961:5:961:18 | IR: designatedInit | int designatedInit() |
| ir.cpp:987:5:987:16 | ReturnValue: PointerDecay | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:987:5:987:16 | IR: PointerDecay | int PointerDecay(int[], int(float)) |
| ir.cpp:991:5:991:12 | ReturnValue: ExprStmt | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:991:5:991:12 | IR: ExprStmt | int ExprStmt(int, int, int) |
| ir.cpp:1029:14:1029:14 | ReturnValue: operator void (*)() | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:1029:14:1029:14 | IR: operator void (*)() | void(* (lambda [] type at line 1029, col. 12)::operator void (*)()() const)() |
| ir.cpp:1032:25:1032:25 | ReturnValue: operator char (*)(float) | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:1032:25:1032:25 | IR: operator char (*)(float) | char(* (void Lambda(int, String const&))::(lambda [] type at line 1032, col. 23)::operator char (*)(float)() const)(float) |
| ir.cpp:1032:25:1032:25 | ReturnValue: operator() | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:1032:25:1032:25 | IR: operator() | char (void Lambda(int, String const&))::(lambda [] type at line 1032, col. 23)::operator()(float) const |
| ir.cpp:1034:24:1034:24 | ReturnValue: operator() | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:1034:24:1034:24 | IR: operator() | char (void Lambda(int, String const&))::(lambda [] type at line 1034, col. 21)::operator()(float) const |
| ir.cpp:1036:24:1036:24 | ReturnValue: operator() | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:1036:24:1036:24 | IR: operator() | char (void Lambda(int, String const&))::(lambda [] type at line 1036, col. 21)::operator()(float) const |
| ir.cpp:1038:34:1038:34 | ReturnValue: operator() | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:1038:34:1038:34 | IR: operator() | char (void Lambda(int, String const&))::(lambda [] type at line 1038, col. 30)::operator()(float) const |
| ir.cpp:1040:33:1040:33 | ReturnValue: operator() | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:1040:33:1040:33 | IR: operator() | char (void Lambda(int, String const&))::(lambda [] type at line 1040, col. 30)::operator()(float) const |
| ir.cpp:1042:39:1042:39 | ReturnValue: operator() | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:1042:39:1042:39 | IR: operator() | char (void Lambda(int, String const&))::(lambda [] type at line 1042, col. 32)::operator()(float) const |
| ir.cpp:1045:49:1045:49 | ReturnValue: operator() | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:1045:49:1045:49 | IR: operator() | char (void Lambda(int, String const&))::(lambda [] type at line 1045, col. 23)::operator()(float) const |
| ir.cpp:1099:5:1099:11 | ReturnValue: AsmStmt | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:1099:5:1099:11 | IR: AsmStmt | int AsmStmt(int) |
| ir.cpp:1163:5:1163:21 | ReturnValue: ModeledCallTarget | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:1163:5:1163:21 | IR: ModeledCallTarget | int ModeledCallTarget(int) |
| perf-regression.cpp:9:5:9:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | perf-regression.cpp:9:5:9:8 | IR: main | int main() |
unexpectedOperand
duplicateOperand
missingPhiOperand
missingOperandType
sideEffectWithoutPrimary
instructionWithoutSuccessor
| bad_asts.cpp:17:3:17:3 | NoOp: return ... |
| bad_asts.cpp:23:5:23:5 | NoOp: return ... |
| bad_asts.cpp:26:41:26:41 | ReturnIndirection: a |
| bad_asts.cpp:34:3:34:3 | NoOp: return ... |
| file://:0:0:0:0 | ReturnIndirection: p#0 |
| file://:0:0:0:0 | ReturnIndirection: p#0 |
| file://:0:0:0:0 | ReturnIndirection: p#0 |
| file://:0:0:0:0 | ReturnIndirection: p#0 |
| ir.cpp:41:1:41:1 | NoOp: return ... |
| ir.cpp:48:1:48:1 | NoOp: return ... |
| ir.cpp:85:1:85:1 | NoOp: return ... |
| ir.cpp:96:1:96:1 | NoOp: return ... |
| ir.cpp:105:1:105:1 | NoOp: return ... |
| ir.cpp:112:1:112:1 | NoOp: return ... |
| ir.cpp:131:1:131:1 | NoOp: return ... |
| ir.cpp:142:1:142:1 | NoOp: return ... |
| ir.cpp:151:1:151:1 | NoOp: return ... |
| ir.cpp:153:22:153:22 | ReturnIndirection: p |
| ir.cpp:171:23:171:23 | ReturnIndirection: p |
| ir.cpp:191:1:191:1 | NoOp: return ... |
| ir.cpp:193:34:193:34 | ReturnIndirection: q |
| ir.cpp:204:26:204:26 | ReturnIndirection: p |
| ir.cpp:228:1:228:1 | NoOp: return ... |
| ir.cpp:233:1:233:1 | NoOp: return ... |
| ir.cpp:251:1:251:1 | NoOp: return ... |
| ir.cpp:257:1:257:1 | NoOp: return ... |
| ir.cpp:263:1:263:1 | NoOp: return ... |
| ir.cpp:309:1:309:1 | NoOp: return ... |
| ir.cpp:315:1:315:1 | NoOp: return ... |
| ir.cpp:323:1:323:1 | NoOp: return ... |
| ir.cpp:331:1:331:1 | NoOp: return ... |
| ir.cpp:358:1:358:1 | NoOp: return ... |
| ir.cpp:367:1:367:1 | NoOp: return ... |
| ir.cpp:374:1:374:1 | NoOp: return ... |
| ir.cpp:410:1:410:1 | NoOp: return ... |
| ir.cpp:431:1:431:1 | NoOp: return ... |
| ir.cpp:445:1:445:1 | NoOp: return ... |
| ir.cpp:459:1:459:1 | NoOp: return ... |
| ir.cpp:473:1:473:1 | NoOp: return ... |
| ir.cpp:480:1:480:1 | NoOp: return ... |
| ir.cpp:484:1:484:1 | NoOp: return ... |
| ir.cpp:490:1:490:1 | NoOp: return ... |
| ir.cpp:494:1:494:1 | NoOp: return ... |
| ir.cpp:501:1:501:1 | NoOp: return ... |
| ir.cpp:510:1:510:1 | NoOp: return ... |
| ir.cpp:517:1:517:1 | NoOp: return ... |
| ir.cpp:523:1:523:1 | NoOp: return ... |
| ir.cpp:533:1:533:1 | NoOp: return ... |
| ir.cpp:537:9:537:15 | NoOp: return ... |
| ir.cpp:541:1:541:1 | NoOp: return ... |
| ir.cpp:580:1:580:1 | NoOp: return ... |
| ir.cpp:586:1:586:1 | NoOp: return ... |
| ir.cpp:595:1:595:1 | NoOp: return ... |
| ir.cpp:620:1:620:1 | NoOp: return ... |
| ir.cpp:622:37:622:37 | ReturnIndirection: p |
| ir.cpp:650:5:650:5 | NoOp: return ... |
| ir.cpp:656:5:656:5 | NoOp: return ... |
| ir.cpp:664:5:664:5 | NoOp: return ... |
| ir.cpp:689:1:689:1 | NoOp: return ... |
| ir.cpp:695:1:695:1 | NoOp: return ... |
| ir.cpp:701:1:701:1 | NoOp: return ... |
| ir.cpp:743:1:743:1 | NoOp: return ... |
| ir.cpp:749:3:749:3 | NoOp: return ... |
| ir.cpp:751:3:751:3 | Chi: call to ~String |
| ir.cpp:758:3:758:3 | NoOp: return ... |
| ir.cpp:760:3:760:3 | Chi: call to ~Base |
| ir.cpp:767:3:767:3 | NoOp: return ... |
| ir.cpp:769:3:769:3 | Chi: call to ~Middle |
| ir.cpp:776:3:776:3 | NoOp: return ... |
| ir.cpp:778:3:778:3 | Chi: call to ~Base |
| ir.cpp:785:3:785:3 | NoOp: return ... |
| ir.cpp:787:3:787:3 | Chi: call to ~Base |
| ir.cpp:794:3:794:3 | NoOp: return ... |
| ir.cpp:796:3:796:3 | Chi: call to ~Base |
| ir.cpp:840:1:840:1 | NoOp: return ... |
| ir.cpp:842:8:842:8 | NoOp: return ... |
| ir.cpp:846:8:846:8 | Chi: call to ~PolymorphicBase |
| ir.cpp:846:8:846:8 | NoOp: return ... |
| ir.cpp:865:1:865:1 | NoOp: return ... |
| ir.cpp:869:1:869:1 | NoOp: return ... |
| ir.cpp:881:1:881:1 | NoOp: return ... |
| ir.cpp:883:47:883:47 | ReturnIndirection: p |
| ir.cpp:898:1:898:1 | NoOp: return ... |
| ir.cpp:902:1:902:1 | NoOp: return ... |
| ir.cpp:907:1:907:1 | NoOp: return ... |
| ir.cpp:948:1:948:1 | NoOp: return ... |
| ir.cpp:959:1:959:1 | NoOp: return ... |
| ir.cpp:976:1:976:1 | NoOp: return ... |
| ir.cpp:985:1:985:1 | NoOp: return ... |
| ir.cpp:1012:1:1012:1 | NoOp: return ... |
| ir.cpp:1021:1:1021:1 | NoOp: return ... |
| ir.cpp:1027:1:1027:1 | NoOp: return ... |
| ir.cpp:1029:18:1029:18 | NoOp: return ... |
| ir.cpp:1031:34:1031:34 | ReturnIndirection: s |
| ir.cpp:1036:21:1036:21 | Chi: call to ~String |
| ir.cpp:1040:30:1040:30 | Chi: call to ~String |
| ir.cpp:1068:39:1068:39 | ReturnIndirection: v |
| ir.cpp:1104:79:1104:79 | ReturnIndirection: c |
| ir.cpp:1120:1:1120:1 | NoOp: return ... |
| ir.cpp:1131:1:1131:1 | NoOp: return ... |
| ir.cpp:1149:1:1149:1 | NoOp: return ... |
| ir.cpp:1159:1:1159:1 | NoOp: return ... |
| perf-regression.cpp:6:21:6:21 | NoOp: return ... |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction

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

File diff suppressed because it is too large Load Diff

143
cpp/ql/test/library-tests/ir/ir/raw_sanity.expected
View File

@@ -5,112 +5,6 @@ missingPhiOperand
missingOperandType
sideEffectWithoutPrimary
instructionWithoutSuccessor
| bad_asts.cpp:17:3:17:3 | NoOp: return ... |
| bad_asts.cpp:23:5:23:5 | NoOp: return ... |
| bad_asts.cpp:26:41:26:41 | ReturnIndirection: a |
| bad_asts.cpp:34:3:34:3 | NoOp: return ... |
| file://:0:0:0:0 | ReturnIndirection: p#0 |
| file://:0:0:0:0 | ReturnIndirection: p#0 |
| file://:0:0:0:0 | ReturnIndirection: p#0 |
| file://:0:0:0:0 | ReturnIndirection: p#0 |
| ir.cpp:41:1:41:1 | NoOp: return ... |
| ir.cpp:48:1:48:1 | NoOp: return ... |
| ir.cpp:85:1:85:1 | NoOp: return ... |
| ir.cpp:96:1:96:1 | NoOp: return ... |
| ir.cpp:105:1:105:1 | NoOp: return ... |
| ir.cpp:112:1:112:1 | NoOp: return ... |
| ir.cpp:131:1:131:1 | NoOp: return ... |
| ir.cpp:142:1:142:1 | NoOp: return ... |
| ir.cpp:151:1:151:1 | NoOp: return ... |
| ir.cpp:153:22:153:22 | ReturnIndirection: p |
| ir.cpp:171:23:171:23 | ReturnIndirection: p |
| ir.cpp:191:1:191:1 | NoOp: return ... |
| ir.cpp:193:34:193:34 | ReturnIndirection: q |
| ir.cpp:204:26:204:26 | ReturnIndirection: p |
| ir.cpp:228:1:228:1 | NoOp: return ... |
| ir.cpp:233:1:233:1 | NoOp: return ... |
| ir.cpp:251:1:251:1 | NoOp: return ... |
| ir.cpp:257:1:257:1 | NoOp: return ... |
| ir.cpp:263:1:263:1 | NoOp: return ... |
| ir.cpp:283:1:283:1 | NoOp: return ... |
| ir.cpp:296:1:296:1 | NoOp: return ... |
| ir.cpp:309:1:309:1 | NoOp: return ... |
| ir.cpp:315:1:315:1 | NoOp: return ... |
| ir.cpp:323:1:323:1 | NoOp: return ... |
| ir.cpp:331:1:331:1 | NoOp: return ... |
| ir.cpp:339:1:339:1 | NoOp: return ... |
| ir.cpp:358:1:358:1 | NoOp: return ... |
| ir.cpp:367:1:367:1 | NoOp: return ... |
| ir.cpp:374:1:374:1 | NoOp: return ... |
| ir.cpp:410:1:410:1 | NoOp: return ... |
| ir.cpp:431:1:431:1 | NoOp: return ... |
| ir.cpp:445:1:445:1 | NoOp: return ... |
| ir.cpp:459:1:459:1 | NoOp: return ... |
| ir.cpp:473:1:473:1 | NoOp: return ... |
| ir.cpp:480:1:480:1 | NoOp: return ... |
| ir.cpp:484:1:484:1 | NoOp: return ... |
| ir.cpp:490:1:490:1 | NoOp: return ... |
| ir.cpp:494:1:494:1 | NoOp: return ... |
| ir.cpp:501:1:501:1 | NoOp: return ... |
| ir.cpp:510:1:510:1 | NoOp: return ... |
| ir.cpp:517:1:517:1 | NoOp: return ... |
| ir.cpp:523:1:523:1 | NoOp: return ... |
| ir.cpp:533:1:533:1 | NoOp: return ... |
| ir.cpp:537:9:537:15 | NoOp: return ... |
| ir.cpp:541:1:541:1 | NoOp: return ... |
| ir.cpp:580:1:580:1 | NoOp: return ... |
| ir.cpp:586:1:586:1 | NoOp: return ... |
| ir.cpp:595:1:595:1 | NoOp: return ... |
| ir.cpp:620:1:620:1 | NoOp: return ... |
| ir.cpp:622:37:622:37 | ReturnIndirection: p |
| ir.cpp:650:5:650:5 | NoOp: return ... |
| ir.cpp:656:5:656:5 | NoOp: return ... |
| ir.cpp:664:5:664:5 | NoOp: return ... |
| ir.cpp:689:1:689:1 | NoOp: return ... |
| ir.cpp:695:1:695:1 | NoOp: return ... |
| ir.cpp:701:1:701:1 | NoOp: return ... |
| ir.cpp:743:1:743:1 | NoOp: return ... |
| ir.cpp:749:3:749:3 | NoOp: return ... |
| ir.cpp:751:3:751:3 | CallSideEffect: call to ~String |
| ir.cpp:758:3:758:3 | NoOp: return ... |
| ir.cpp:760:3:760:3 | CallSideEffect: call to ~Base |
| ir.cpp:767:3:767:3 | NoOp: return ... |
| ir.cpp:769:3:769:3 | CallSideEffect: call to ~Middle |
| ir.cpp:776:3:776:3 | NoOp: return ... |
| ir.cpp:778:3:778:3 | CallSideEffect: call to ~Base |
| ir.cpp:785:3:785:3 | NoOp: return ... |
| ir.cpp:787:3:787:3 | CallSideEffect: call to ~Base |
| ir.cpp:794:3:794:3 | NoOp: return ... |
| ir.cpp:796:3:796:3 | CallSideEffect: call to ~Base |
| ir.cpp:840:1:840:1 | NoOp: return ... |
| ir.cpp:842:8:842:8 | NoOp: return ... |
| ir.cpp:846:8:846:8 | CallSideEffect: call to ~PolymorphicBase |
| ir.cpp:846:8:846:8 | NoOp: return ... |
| ir.cpp:865:1:865:1 | NoOp: return ... |
| ir.cpp:869:1:869:1 | NoOp: return ... |
| ir.cpp:881:1:881:1 | NoOp: return ... |
| ir.cpp:883:47:883:47 | ReturnIndirection: p |
| ir.cpp:898:1:898:1 | NoOp: return ... |
| ir.cpp:902:1:902:1 | NoOp: return ... |
| ir.cpp:907:1:907:1 | NoOp: return ... |
| ir.cpp:948:1:948:1 | NoOp: return ... |
| ir.cpp:959:1:959:1 | NoOp: return ... |
| ir.cpp:976:1:976:1 | NoOp: return ... |
| ir.cpp:985:1:985:1 | NoOp: return ... |
| ir.cpp:1012:1:1012:1 | NoOp: return ... |
| ir.cpp:1021:1:1021:1 | NoOp: return ... |
| ir.cpp:1027:1:1027:1 | NoOp: return ... |
| ir.cpp:1029:18:1029:18 | NoOp: return ... |
| ir.cpp:1031:34:1031:34 | ReturnIndirection: s |
| ir.cpp:1036:21:1036:21 | CallSideEffect: call to ~String |
| ir.cpp:1040:30:1040:30 | CallSideEffect: call to ~String |
| ir.cpp:1068:39:1068:39 | ReturnIndirection: v |
| ir.cpp:1104:79:1104:79 | ReturnIndirection: c |
| ir.cpp:1120:1:1120:1 | NoOp: return ... |
| ir.cpp:1131:1:1131:1 | NoOp: return ... |
| ir.cpp:1149:1:1149:1 | NoOp: return ... |
| ir.cpp:1159:1:1159:1 | NoOp: return ... |
| perf-regression.cpp:6:21:6:21 | NoOp: return ... |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction
@@ -120,43 +14,6 @@ containsLoopOfForwardEdges
lostReachability
backEdgeCountMismatch
useNotDominatedByDefinition
| clang.cpp:5:6:5:21 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | clang.cpp:5:6:5:21 | IR: globalIntAddress | int* globalIntAddress() |
| ir.cpp:235:5:235:14 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:235:5:235:14 | IR: Parameters | int Parameters(int, int) |
| ir.cpp:341:5:341:15 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:341:5:341:15 | IR: Dereference | int Dereference(int*) |
| ir.cpp:348:6:348:14 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:348:6:348:14 | IR: AddressOf | int* AddressOf() |
| ir.cpp:376:5:376:11 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:376:5:376:11 | IR: CallAdd | int CallAdd(int, int) |
| ir.cpp:380:5:380:9 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:380:5:380:9 | IR: Comma | int Comma(int, int) |
| ir.cpp:422:7:422:18 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:422:7:422:18 | IR: ReturnStruct | Point ReturnStruct(Point) |
| ir.cpp:543:5:543:20 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:543:5:543:20 | IR: EarlyReturnValue | int EarlyReturnValue(int, int) |
| ir.cpp:551:5:551:18 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:551:5:551:18 | IR: CallViaFuncPtr | int CallViaFuncPtr(int(*)(int)) |
| ir.cpp:560:5:560:14 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:560:5:560:14 | IR: EnumSwitch | int EnumSwitch(E) |
| ir.cpp:630:16:630:35 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:630:16:630:35 | IR: StaticMemberFunction | int C::StaticMemberFunction(int) |
| ir.cpp:634:9:634:30 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:634:9:634:30 | IR: InstanceMemberFunction | int C::InstanceMemberFunction(int) |
| ir.cpp:638:17:638:37 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:638:17:638:37 | IR: VirtualMemberFunction | int C::VirtualMemberFunction(int) |
| ir.cpp:675:5:675:18 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:675:5:675:18 | IR: DerefReference | int DerefReference(int&) |
| ir.cpp:679:6:679:18 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:679:6:679:18 | IR: TakeReference | int& TakeReference() |
| ir.cpp:704:3:704:3 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:704:3:704:3 | IR: min | int min<int>(int, int) |
| ir.cpp:708:5:708:11 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:708:5:708:11 | IR: CallMin | int CallMin(int, int) |
| ir.cpp:715:12:715:12 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:715:12:715:12 | IR: Func | long Outer<long>::Func<void*, char>(void*, char) |
| ir.cpp:720:8:720:29 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:720:8:720:29 | IR: CallNestedTemplateFunc | double CallNestedTemplateFunc() |
| ir.cpp:745:8:745:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:745:8:745:8 | IR: operator= | Base& Base::operator=(Base const&) |
| ir.cpp:754:8:754:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:754:8:754:8 | IR: operator= | Middle& Middle::operator=(Middle const&) |
| ir.cpp:763:8:763:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:763:8:763:8 | IR: operator= | Derived& Derived::operator=(Derived const&) |
| ir.cpp:961:5:961:18 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:961:5:961:18 | IR: designatedInit | int designatedInit() |
| ir.cpp:987:5:987:16 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:987:5:987:16 | IR: PointerDecay | int PointerDecay(int[], int(float)) |
| ir.cpp:991:5:991:12 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:991:5:991:12 | IR: ExprStmt | int ExprStmt(int, int, int) |
| ir.cpp:1029:14:1029:14 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:1029:14:1029:14 | IR: operator void (*)() | void(* (lambda [] type at line 1029, col. 12)::operator void (*)()() const)() |
| ir.cpp:1032:25:1032:25 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:1032:25:1032:25 | IR: operator char (*)(float) | char(* (void Lambda(int, String const&))::(lambda [] type at line 1032, col. 23)::operator char (*)(float)() const)(float) |
| ir.cpp:1032:25:1032:25 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:1032:25:1032:25 | IR: operator() | char (void Lambda(int, String const&))::(lambda [] type at line 1032, col. 23)::operator()(float) const |
| ir.cpp:1034:24:1034:24 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:1034:24:1034:24 | IR: operator() | char (void Lambda(int, String const&))::(lambda [] type at line 1034, col. 21)::operator()(float) const |
| ir.cpp:1036:24:1036:24 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:1036:24:1036:24 | IR: operator() | char (void Lambda(int, String const&))::(lambda [] type at line 1036, col. 21)::operator()(float) const |
| ir.cpp:1038:34:1038:34 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:1038:34:1038:34 | IR: operator() | char (void Lambda(int, String const&))::(lambda [] type at line 1038, col. 30)::operator()(float) const |
| ir.cpp:1040:33:1040:33 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:1040:33:1040:33 | IR: operator() | char (void Lambda(int, String const&))::(lambda [] type at line 1040, col. 30)::operator()(float) const |
| ir.cpp:1042:39:1042:39 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:1042:39:1042:39 | IR: operator() | char (void Lambda(int, String const&))::(lambda [] type at line 1042, col. 32)::operator()(float) const |
| ir.cpp:1045:49:1045:49 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:1045:49:1045:49 | IR: operator() | char (void Lambda(int, String const&))::(lambda [] type at line 1045, col. 23)::operator()(float) const |
| ir.cpp:1099:5:1099:11 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:1099:5:1099:11 | IR: AsmStmt | int AsmStmt(int) |
| ir.cpp:1163:5:1163:21 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:1163:5:1163:21 | IR: ModeledCallTarget | int ModeledCallTarget(int) |
| perf-regression.cpp:9:5:9:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | perf-regression.cpp:9:5:9:8 | IR: main | int main() |
missingCanonicalLanguageType
multipleCanonicalLanguageTypes
missingIRType

143
cpp/ql/test/library-tests/ir/ir/unaliased_ssa_sanity.expected
View File

@@ -1,153 +1,10 @@
missingOperand
| clang.cpp:5:6:5:21 | ReturnValue: globalIntAddress | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | clang.cpp:5:6:5:21 | IR: globalIntAddress | int* globalIntAddress() |
| ir.cpp:235:5:235:14 | ReturnValue: Parameters | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:235:5:235:14 | IR: Parameters | int Parameters(int, int) |
| ir.cpp:341:5:341:15 | ReturnValue: Dereference | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:341:5:341:15 | IR: Dereference | int Dereference(int*) |
| ir.cpp:348:6:348:14 | ReturnValue: AddressOf | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:348:6:348:14 | IR: AddressOf | int* AddressOf() |
| ir.cpp:376:5:376:11 | ReturnValue: CallAdd | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:376:5:376:11 | IR: CallAdd | int CallAdd(int, int) |
| ir.cpp:380:5:380:9 | ReturnValue: Comma | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:380:5:380:9 | IR: Comma | int Comma(int, int) |
| ir.cpp:422:7:422:18 | ReturnValue: ReturnStruct | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:422:7:422:18 | IR: ReturnStruct | Point ReturnStruct(Point) |
| ir.cpp:543:5:543:20 | ReturnValue: EarlyReturnValue | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:543:5:543:20 | IR: EarlyReturnValue | int EarlyReturnValue(int, int) |
| ir.cpp:551:5:551:18 | ReturnValue: CallViaFuncPtr | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:551:5:551:18 | IR: CallViaFuncPtr | int CallViaFuncPtr(int(*)(int)) |
| ir.cpp:560:5:560:14 | ReturnValue: EnumSwitch | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:560:5:560:14 | IR: EnumSwitch | int EnumSwitch(E) |
| ir.cpp:630:16:630:35 | ReturnValue: StaticMemberFunction | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:630:16:630:35 | IR: StaticMemberFunction | int C::StaticMemberFunction(int) |
| ir.cpp:634:9:634:30 | ReturnValue: InstanceMemberFunction | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:634:9:634:30 | IR: InstanceMemberFunction | int C::InstanceMemberFunction(int) |
| ir.cpp:638:17:638:37 | ReturnValue: VirtualMemberFunction | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:638:17:638:37 | IR: VirtualMemberFunction | int C::VirtualMemberFunction(int) |
| ir.cpp:675:5:675:18 | ReturnValue: DerefReference | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:675:5:675:18 | IR: DerefReference | int DerefReference(int&) |
| ir.cpp:679:6:679:18 | ReturnValue: TakeReference | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:679:6:679:18 | IR: TakeReference | int& TakeReference() |
| ir.cpp:704:3:704:3 | ReturnValue: min | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:704:3:704:3 | IR: min | int min<int>(int, int) |
| ir.cpp:708:5:708:11 | ReturnValue: CallMin | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:708:5:708:11 | IR: CallMin | int CallMin(int, int) |
| ir.cpp:715:12:715:12 | ReturnValue: Func | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:715:12:715:12 | IR: Func | long Outer<long>::Func<void*, char>(void*, char) |
| ir.cpp:720:8:720:29 | ReturnValue: CallNestedTemplateFunc | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:720:8:720:29 | IR: CallNestedTemplateFunc | double CallNestedTemplateFunc() |
| ir.cpp:745:8:745:8 | ReturnValue: operator= | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:745:8:745:8 | IR: operator= | Base& Base::operator=(Base const&) |
| ir.cpp:754:8:754:8 | ReturnValue: operator= | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:754:8:754:8 | IR: operator= | Middle& Middle::operator=(Middle const&) |
| ir.cpp:763:8:763:8 | ReturnValue: operator= | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:763:8:763:8 | IR: operator= | Derived& Derived::operator=(Derived const&) |
| ir.cpp:961:5:961:18 | ReturnValue: designatedInit | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:961:5:961:18 | IR: designatedInit | int designatedInit() |
| ir.cpp:987:5:987:16 | ReturnValue: PointerDecay | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:987:5:987:16 | IR: PointerDecay | int PointerDecay(int[], int(float)) |
| ir.cpp:991:5:991:12 | ReturnValue: ExprStmt | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:991:5:991:12 | IR: ExprStmt | int ExprStmt(int, int, int) |
| ir.cpp:1029:14:1029:14 | ReturnValue: operator void (*)() | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:1029:14:1029:14 | IR: operator void (*)() | void(* (lambda [] type at line 1029, col. 12)::operator void (*)()() const)() |
| ir.cpp:1032:25:1032:25 | ReturnValue: operator char (*)(float) | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:1032:25:1032:25 | IR: operator char (*)(float) | char(* (void Lambda(int, String const&))::(lambda [] type at line 1032, col. 23)::operator char (*)(float)() const)(float) |
| ir.cpp:1032:25:1032:25 | ReturnValue: operator() | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:1032:25:1032:25 | IR: operator() | char (void Lambda(int, String const&))::(lambda [] type at line 1032, col. 23)::operator()(float) const |
| ir.cpp:1034:24:1034:24 | ReturnValue: operator() | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:1034:24:1034:24 | IR: operator() | char (void Lambda(int, String const&))::(lambda [] type at line 1034, col. 21)::operator()(float) const |
| ir.cpp:1036:24:1036:24 | ReturnValue: operator() | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:1036:24:1036:24 | IR: operator() | char (void Lambda(int, String const&))::(lambda [] type at line 1036, col. 21)::operator()(float) const |
| ir.cpp:1038:34:1038:34 | ReturnValue: operator() | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:1038:34:1038:34 | IR: operator() | char (void Lambda(int, String const&))::(lambda [] type at line 1038, col. 30)::operator()(float) const |
| ir.cpp:1040:33:1040:33 | ReturnValue: operator() | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:1040:33:1040:33 | IR: operator() | char (void Lambda(int, String const&))::(lambda [] type at line 1040, col. 30)::operator()(float) const |
| ir.cpp:1042:39:1042:39 | ReturnValue: operator() | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:1042:39:1042:39 | IR: operator() | char (void Lambda(int, String const&))::(lambda [] type at line 1042, col. 32)::operator()(float) const |
| ir.cpp:1045:49:1045:49 | ReturnValue: operator() | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:1045:49:1045:49 | IR: operator() | char (void Lambda(int, String const&))::(lambda [] type at line 1045, col. 23)::operator()(float) const |
| ir.cpp:1099:5:1099:11 | ReturnValue: AsmStmt | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:1099:5:1099:11 | IR: AsmStmt | int AsmStmt(int) |
| ir.cpp:1163:5:1163:21 | ReturnValue: ModeledCallTarget | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:1163:5:1163:21 | IR: ModeledCallTarget | int ModeledCallTarget(int) |
| perf-regression.cpp:9:5:9:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | perf-regression.cpp:9:5:9:8 | IR: main | int main() |
unexpectedOperand
duplicateOperand
missingPhiOperand
missingOperandType
sideEffectWithoutPrimary
instructionWithoutSuccessor
| bad_asts.cpp:17:3:17:3 | NoOp: return ... |
| bad_asts.cpp:23:5:23:5 | NoOp: return ... |
| bad_asts.cpp:26:41:26:41 | ReturnIndirection: a |
| bad_asts.cpp:34:3:34:3 | NoOp: return ... |
| file://:0:0:0:0 | ReturnIndirection: p#0 |
| file://:0:0:0:0 | ReturnIndirection: p#0 |
| file://:0:0:0:0 | ReturnIndirection: p#0 |
| file://:0:0:0:0 | ReturnIndirection: p#0 |
| ir.cpp:41:1:41:1 | NoOp: return ... |
| ir.cpp:48:1:48:1 | NoOp: return ... |
| ir.cpp:85:1:85:1 | NoOp: return ... |
| ir.cpp:96:1:96:1 | NoOp: return ... |
| ir.cpp:105:1:105:1 | NoOp: return ... |
| ir.cpp:112:1:112:1 | NoOp: return ... |
| ir.cpp:131:1:131:1 | NoOp: return ... |
| ir.cpp:142:1:142:1 | NoOp: return ... |
| ir.cpp:151:1:151:1 | NoOp: return ... |
| ir.cpp:153:22:153:22 | ReturnIndirection: p |
| ir.cpp:171:23:171:23 | ReturnIndirection: p |
| ir.cpp:191:1:191:1 | NoOp: return ... |
| ir.cpp:193:34:193:34 | ReturnIndirection: q |
| ir.cpp:204:26:204:26 | ReturnIndirection: p |
| ir.cpp:228:1:228:1 | NoOp: return ... |
| ir.cpp:233:1:233:1 | NoOp: return ... |
| ir.cpp:251:1:251:1 | NoOp: return ... |
| ir.cpp:257:1:257:1 | NoOp: return ... |
| ir.cpp:263:1:263:1 | NoOp: return ... |
| ir.cpp:283:1:283:1 | NoOp: return ... |
| ir.cpp:296:1:296:1 | NoOp: return ... |
| ir.cpp:309:1:309:1 | NoOp: return ... |
| ir.cpp:315:1:315:1 | NoOp: return ... |
| ir.cpp:323:1:323:1 | NoOp: return ... |
| ir.cpp:331:1:331:1 | NoOp: return ... |
| ir.cpp:339:1:339:1 | NoOp: return ... |
| ir.cpp:358:1:358:1 | NoOp: return ... |
| ir.cpp:367:1:367:1 | NoOp: return ... |
| ir.cpp:374:1:374:1 | NoOp: return ... |
| ir.cpp:410:1:410:1 | NoOp: return ... |
| ir.cpp:431:1:431:1 | NoOp: return ... |
| ir.cpp:445:1:445:1 | NoOp: return ... |
| ir.cpp:459:1:459:1 | NoOp: return ... |
| ir.cpp:473:1:473:1 | NoOp: return ... |
| ir.cpp:480:1:480:1 | NoOp: return ... |
| ir.cpp:484:1:484:1 | NoOp: return ... |
| ir.cpp:490:1:490:1 | NoOp: return ... |
| ir.cpp:494:1:494:1 | NoOp: return ... |
| ir.cpp:501:1:501:1 | NoOp: return ... |
| ir.cpp:510:1:510:1 | NoOp: return ... |
| ir.cpp:517:1:517:1 | NoOp: return ... |
| ir.cpp:523:1:523:1 | NoOp: return ... |
| ir.cpp:533:1:533:1 | NoOp: return ... |
| ir.cpp:537:9:537:15 | NoOp: return ... |
| ir.cpp:541:1:541:1 | NoOp: return ... |
| ir.cpp:580:1:580:1 | NoOp: return ... |
| ir.cpp:586:1:586:1 | NoOp: return ... |
| ir.cpp:595:1:595:1 | NoOp: return ... |
| ir.cpp:620:1:620:1 | NoOp: return ... |
| ir.cpp:622:37:622:37 | ReturnIndirection: p |
| ir.cpp:650:5:650:5 | NoOp: return ... |
| ir.cpp:656:5:656:5 | NoOp: return ... |
| ir.cpp:664:5:664:5 | NoOp: return ... |
| ir.cpp:689:1:689:1 | NoOp: return ... |
| ir.cpp:695:1:695:1 | NoOp: return ... |
| ir.cpp:701:1:701:1 | NoOp: return ... |
| ir.cpp:743:1:743:1 | NoOp: return ... |
| ir.cpp:749:3:749:3 | NoOp: return ... |
| ir.cpp:751:3:751:3 | CallSideEffect: call to ~String |
| ir.cpp:758:3:758:3 | NoOp: return ... |
| ir.cpp:760:3:760:3 | CallSideEffect: call to ~Base |
| ir.cpp:767:3:767:3 | NoOp: return ... |
| ir.cpp:769:3:769:3 | CallSideEffect: call to ~Middle |
| ir.cpp:776:3:776:3 | NoOp: return ... |
| ir.cpp:778:3:778:3 | CallSideEffect: call to ~Base |
| ir.cpp:785:3:785:3 | NoOp: return ... |
| ir.cpp:787:3:787:3 | CallSideEffect: call to ~Base |
| ir.cpp:794:3:794:3 | NoOp: return ... |
| ir.cpp:796:3:796:3 | CallSideEffect: call to ~Base |
| ir.cpp:840:1:840:1 | NoOp: return ... |
| ir.cpp:842:8:842:8 | NoOp: return ... |
| ir.cpp:846:8:846:8 | CallSideEffect: call to ~PolymorphicBase |
| ir.cpp:846:8:846:8 | NoOp: return ... |
| ir.cpp:865:1:865:1 | NoOp: return ... |
| ir.cpp:869:1:869:1 | NoOp: return ... |
| ir.cpp:881:1:881:1 | NoOp: return ... |
| ir.cpp:883:47:883:47 | ReturnIndirection: p |
| ir.cpp:898:1:898:1 | NoOp: return ... |
| ir.cpp:902:1:902:1 | NoOp: return ... |
| ir.cpp:907:1:907:1 | NoOp: return ... |
| ir.cpp:948:1:948:1 | NoOp: return ... |
| ir.cpp:959:1:959:1 | NoOp: return ... |
| ir.cpp:976:1:976:1 | NoOp: return ... |
| ir.cpp:985:1:985:1 | NoOp: return ... |
| ir.cpp:1012:1:1012:1 | NoOp: return ... |
| ir.cpp:1021:1:1021:1 | NoOp: return ... |
| ir.cpp:1027:1:1027:1 | NoOp: return ... |
| ir.cpp:1029:18:1029:18 | NoOp: return ... |
| ir.cpp:1031:34:1031:34 | ReturnIndirection: s |
| ir.cpp:1036:21:1036:21 | CallSideEffect: call to ~String |
| ir.cpp:1040:30:1040:30 | CallSideEffect: call to ~String |
| ir.cpp:1068:39:1068:39 | ReturnIndirection: v |
| ir.cpp:1104:79:1104:79 | ReturnIndirection: c |
| ir.cpp:1120:1:1120:1 | NoOp: return ... |
| ir.cpp:1131:1:1131:1 | NoOp: return ... |
| ir.cpp:1149:1:1149:1 | NoOp: return ... |
| ir.cpp:1159:1:1159:1 | NoOp: return ... |
| perf-regression.cpp:6:21:6:21 | NoOp: return ... |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction

92
cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir.expected
View File

@@ -85,9 +85,10 @@ ssa.cpp:
# 28| r6_10(int) = Add : r6_5, r6_9
# 28| m6_11(int) = Store : &:r6_1, r6_10
# 13| v6_12(void) = ReturnIndirection : &:r0_5, ~m6_0
# 13| v6_13(void) = ReturnValue : ~m6_0
# 13| v6_14(void) = UnmodeledUse : mu*
# 13| v6_15(void) = ExitFunction :
# 13| r6_13(glval<int>) = VariableAddress[#return] :
# 13| v6_14(void) = ReturnValue : &:r6_13, m6_11
# 13| v6_15(void) = UnmodeledUse : mu*
# 13| v6_16(void) = ExitFunction :
# 31| int UnreachableViaGoto()
# 31| Block 0
@@ -99,9 +100,10 @@ ssa.cpp:
# 35| r0_5(glval<int>) = VariableAddress[#return] :
# 35| r0_6(int) = Constant[0] :
# 35| m0_7(int) = Store : &:r0_5, r0_6
# 31| v0_8(void) = ReturnValue : ~m0_1
# 31| v0_9(void) = UnmodeledUse : mu*
# 31| v0_10(void) = ExitFunction :
# 31| r0_8(glval<int>) = VariableAddress[#return] :
# 31| v0_9(void) = ReturnValue : &:r0_8, m0_7
# 31| v0_10(void) = UnmodeledUse : mu*
# 31| v0_11(void) = ExitFunction :
# 38| int UnreachableIf(bool)
# 38| Block 0
@@ -123,9 +125,11 @@ ssa.cpp:
#-----| True -> Block 2
# 38| Block 1
# 38| v1_0(void) = ReturnValue : ~m0_1
# 38| v1_1(void) = UnmodeledUse : mu*
# 38| v1_2(void) = ExitFunction :
# 38| m1_0(int) = Phi : from 3:m3_2, from 5:m5_2
# 38| r1_1(glval<int>) = VariableAddress[#return] :
# 38| v1_2(void) = ReturnValue : &:r1_1, m1_0
# 38| v1_3(void) = UnmodeledUse : mu*
# 38| v1_4(void) = ExitFunction :
# 42| Block 2
# 42| r2_0(glval<int>) = VariableAddress[x] :
@@ -185,9 +189,10 @@ ssa.cpp:
# 65| r1_1(glval<int>) = VariableAddress[i] :
# 65| r1_2(int) = Load : &:r1_1, m0_10
# 65| m1_3(int) = Store : &:r1_0, r1_2
# 59| v1_4(void) = ReturnValue : ~m0_1
# 59| v1_5(void) = UnmodeledUse : mu*
# 59| v1_6(void) = ExitFunction :
# 59| r1_4(glval<int>) = VariableAddress[#return] :
# 59| v1_5(void) = ReturnValue : &:r1_4, m1_3
# 59| v1_6(void) = UnmodeledUse : mu*
# 59| v1_7(void) = ExitFunction :
# 59| Block 2
# 59| v2_0(void) = Unreached :
@@ -220,6 +225,9 @@ ssa.cpp:
# 71| Block 2
# 71| v2_0(void) = NoOp :
# 68| v2_1(void) = ReturnIndirection : &:r0_7, ~m3_0
# 68| v2_2(void) = ReturnVoid :
# 68| v2_3(void) = UnmodeledUse : mu*
# 68| v2_4(void) = ExitFunction :
# 69| Block 3
# 69| m3_0(unknown) = Phi : from 0:~m0_9, from 1:~m1_7
@@ -289,6 +297,9 @@ ssa.cpp:
# 88| r3_12(int) = Load : &:r3_11, m0_13
# 88| m3_13(int) = Store : &:r3_10, r3_12
# 89| v3_14(void) = NoOp :
# 75| v3_15(void) = ReturnVoid :
# 75| v3_16(void) = UnmodeledUse : mu*
# 75| v3_17(void) = ExitFunction :
# 91| void MustExactlyOverlap(Point)
# 91| Block 0
@@ -302,6 +313,9 @@ ssa.cpp:
# 92| r0_7(Point) = Load : &:r0_6, m0_4
# 92| m0_8(Point) = Store : &:r0_5, r0_7
# 93| v0_9(void) = NoOp :
# 91| v0_10(void) = ReturnVoid :
# 91| v0_11(void) = UnmodeledUse : mu*
# 91| v0_12(void) = ExitFunction :
# 95| void MustExactlyOverlapEscaped(Point)
# 95| Block 0
@@ -325,6 +339,9 @@ ssa.cpp:
# 97| m0_17(unknown) = ^BufferMayWriteSideEffect[0] : &:r0_12
# 97| m0_18(unknown) = Chi : total:m0_15, partial:m0_17
# 98| v0_19(void) = NoOp :
# 95| v0_20(void) = ReturnVoid :
# 95| v0_21(void) = UnmodeledUse : mu*
# 95| v0_22(void) = ExitFunction :
# 100| void MustTotallyOverlap(Point)
# 100| Block 0
@@ -344,6 +361,9 @@ ssa.cpp:
# 102| r0_13(int) = Load : &:r0_12, ~m0_4
# 102| m0_14(int) = Store : &:r0_10, r0_13
# 103| v0_15(void) = NoOp :
# 100| v0_16(void) = ReturnVoid :
# 100| v0_17(void) = UnmodeledUse : mu*
# 100| v0_18(void) = ExitFunction :
# 105| void MustTotallyOverlapEscaped(Point)
# 105| Block 0
@@ -373,6 +393,9 @@ ssa.cpp:
# 108| m0_23(unknown) = ^BufferMayWriteSideEffect[0] : &:r0_18
# 108| m0_24(unknown) = Chi : total:m0_21, partial:m0_23
# 109| v0_25(void) = NoOp :
# 105| v0_26(void) = ReturnVoid :
# 105| v0_27(void) = UnmodeledUse : mu*
# 105| v0_28(void) = ExitFunction :
# 111| void MayPartiallyOverlap(int, int)
# 111| Block 0
@@ -400,6 +423,9 @@ ssa.cpp:
# 113| r0_21(Point) = Load : &:r0_20, ~m0_18
# 113| m0_22(Point) = Store : &:r0_19, r0_21
# 114| v0_23(void) = NoOp :
# 111| v0_24(void) = ReturnVoid :
# 111| v0_25(void) = UnmodeledUse : mu*
# 111| v0_26(void) = ExitFunction :
# 116| void MayPartiallyOverlapEscaped(int, int)
# 116| Block 0
@@ -437,6 +463,9 @@ ssa.cpp:
# 119| m0_31(unknown) = ^BufferMayWriteSideEffect[0] : &:r0_26
# 119| m0_32(unknown) = Chi : total:m0_29, partial:m0_31
# 120| v0_33(void) = NoOp :
# 116| v0_34(void) = ReturnVoid :
# 116| v0_35(void) = UnmodeledUse : mu*
# 116| v0_36(void) = ExitFunction :
# 122| void MergeMustExactlyOverlap(bool, int, int)
# 122| Block 0
@@ -496,6 +525,9 @@ ssa.cpp:
# 131| r3_9(Point) = Load : &:r3_8, m3_0
# 131| m3_10(Point) = Store : &:r3_7, r3_9
# 132| v3_11(void) = NoOp :
# 122| v3_12(void) = ReturnVoid :
# 122| v3_13(void) = UnmodeledUse : mu*
# 122| v3_14(void) = ExitFunction :
# 134| void MergeMustExactlyWithMustTotallyOverlap(bool, Point, int)
# 134| Block 0
@@ -549,6 +581,9 @@ ssa.cpp:
# 142| r3_5(int) = Load : &:r3_4, m3_1
# 142| m3_6(int) = Store : &:r3_2, r3_5
# 143| v3_7(void) = NoOp :
# 134| v3_8(void) = ReturnVoid :
# 134| v3_9(void) = UnmodeledUse : mu*
# 134| v3_10(void) = ExitFunction :
# 145| void MergeMustExactlyWithMayPartiallyOverlap(bool, Point, int)
# 145| Block 0
@@ -600,6 +635,9 @@ ssa.cpp:
# 153| r3_3(Point) = Load : &:r3_2, m3_0
# 153| m3_4(Point) = Store : &:r3_1, r3_3
# 154| v3_5(void) = NoOp :
# 145| v3_6(void) = ReturnVoid :
# 145| v3_7(void) = UnmodeledUse : mu*
# 145| v3_8(void) = ExitFunction :
# 156| void MergeMustTotallyOverlapWithMayPartiallyOverlap(bool, Rect, int)
# 156| Block 0
@@ -653,6 +691,9 @@ ssa.cpp:
# 164| r3_4(Point) = Load : &:r3_3, ~m3_0
# 164| m3_5(Point) = Store : &:r3_1, r3_4
# 165| v3_6(void) = NoOp :
# 156| v3_7(void) = ReturnVoid :
# 156| v3_8(void) = UnmodeledUse : mu*
# 156| v3_9(void) = ExitFunction :
# 171| void WrapperStruct(Wrapper)
# 171| Block 0
@@ -684,6 +725,9 @@ ssa.cpp:
# 176| r0_25(glval<Wrapper>) = VariableAddress[x] :
# 176| m0_26(Wrapper) = Store : &:r0_25, r0_24
# 177| v0_27(void) = NoOp :
# 171| v0_28(void) = ReturnVoid :
# 171| v0_29(void) = UnmodeledUse : mu*
# 171| v0_30(void) = ExitFunction :
# 179| int AsmStmt(int*)
# 179| Block 0
@@ -703,9 +747,10 @@ ssa.cpp:
# 181| r0_13(int) = Load : &:r0_12, ~m0_9
# 181| m0_14(int) = Store : &:r0_10, r0_13
# 179| v0_15(void) = ReturnIndirection : &:r0_5, ~m0_9
# 179| v0_16(void) = ReturnValue : ~m0_9
# 179| v0_17(void) = UnmodeledUse : mu*
# 179| v0_18(void) = ExitFunction :
# 179| r0_16(glval<int>) = VariableAddress[#return] :
# 179| v0_17(void) = ReturnValue : &:r0_16, m0_14
# 179| v0_18(void) = UnmodeledUse : mu*
# 179| v0_19(void) = ExitFunction :
# 184| void AsmStmtWithOutputs(unsigned int&, unsigned int&, unsigned int&, unsigned int&)
# 184| Block 0
@@ -749,6 +794,9 @@ ssa.cpp:
# 184| v0_37(void) = ReturnIndirection : &:r0_10, ~m0_34
# 184| v0_38(void) = ReturnIndirection : &:r0_15, ~m0_34
# 184| v0_39(void) = ReturnIndirection : &:r0_20, ~m0_34
# 184| v0_40(void) = ReturnVoid :
# 184| v0_41(void) = UnmodeledUse : mu*
# 184| v0_42(void) = ExitFunction :
# 198| int PureFunctions(char*, char*, int)
# 198| Block 0
@@ -802,9 +850,10 @@ ssa.cpp:
# 202| m0_47(int) = Store : &:r0_44, r0_46
# 198| v0_48(void) = ReturnIndirection : &:r0_5, ~m0_12
# 198| v0_49(void) = ReturnIndirection : &:r0_10, ~m0_12
# 198| v0_50(void) = ReturnValue : ~m0_12
# 198| v0_51(void) = UnmodeledUse : mu*
# 198| v0_52(void) = ExitFunction :
# 198| r0_50(glval<int>) = VariableAddress[#return] :
# 198| v0_51(void) = ReturnValue : &:r0_50, m0_47
# 198| v0_52(void) = UnmodeledUse : mu*
# 198| v0_53(void) = ExitFunction :
# 207| int ModeledCallTarget(int)
# 207| Block 0
@@ -831,6 +880,7 @@ ssa.cpp:
# 210| r0_20(glval<int>) = VariableAddress[y] :
# 210| r0_21(int) = Load : &:r0_20, ~m0_18
# 210| m0_22(int) = Store : &:r0_19, r0_21
# 207| v0_23(void) = ReturnValue : ~m0_18
# 207| v0_24(void) = UnmodeledUse : mu*
# 207| v0_25(void) = ExitFunction :
# 207| r0_23(glval<int>) = VariableAddress[#return] :
# 207| v0_24(void) = ReturnValue : &:r0_23, m0_22
# 207| v0_25(void) = UnmodeledUse : mu*
# 207| v0_26(void) = ExitFunction :

21
cpp/ql/test/library-tests/ir/ssa/aliased_ssa_sanity.expected
View File

@@ -1,31 +1,10 @@
missingOperand
| ssa.cpp:13:5:13:14 | ReturnValue: ChiPhiNode | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ssa.cpp:13:5:13:14 | IR: ChiPhiNode | int ChiPhiNode(Point*, bool, bool) |
| ssa.cpp:31:5:31:22 | ReturnValue: UnreachableViaGoto | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ssa.cpp:31:5:31:22 | IR: UnreachableViaGoto | int UnreachableViaGoto() |
| ssa.cpp:38:5:38:17 | ReturnValue: UnreachableIf | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ssa.cpp:38:5:38:17 | IR: UnreachableIf | int UnreachableIf(bool) |
| ssa.cpp:59:5:59:16 | ReturnValue: DoWhileFalse | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ssa.cpp:59:5:59:16 | IR: DoWhileFalse | int DoWhileFalse() |
| ssa.cpp:179:5:179:11 | ReturnValue: AsmStmt | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ssa.cpp:179:5:179:11 | IR: AsmStmt | int AsmStmt(int*) |
| ssa.cpp:198:5:198:17 | ReturnValue: PureFunctions | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ssa.cpp:198:5:198:17 | IR: PureFunctions | int PureFunctions(char*, char*, int) |
| ssa.cpp:207:5:207:21 | ReturnValue: ModeledCallTarget | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ssa.cpp:207:5:207:21 | IR: ModeledCallTarget | int ModeledCallTarget(int) |
unexpectedOperand
duplicateOperand
missingPhiOperand
missingOperandType
sideEffectWithoutPrimary
instructionWithoutSuccessor
| ssa.cpp:68:38:68:38 | ReturnIndirection: p |
| ssa.cpp:89:1:89:1 | NoOp: return ... |
| ssa.cpp:93:1:93:1 | NoOp: return ... |
| ssa.cpp:98:1:98:1 | NoOp: return ... |
| ssa.cpp:103:1:103:1 | NoOp: return ... |
| ssa.cpp:109:1:109:1 | NoOp: return ... |
| ssa.cpp:114:1:114:1 | NoOp: return ... |
| ssa.cpp:120:1:120:1 | NoOp: return ... |
| ssa.cpp:132:1:132:1 | NoOp: return ... |
| ssa.cpp:143:1:143:1 | NoOp: return ... |
| ssa.cpp:154:1:154:1 | NoOp: return ... |
| ssa.cpp:165:1:165:1 | NoOp: return ... |
| ssa.cpp:177:1:177:1 | NoOp: return ... |
| ssa.cpp:184:97:184:97 | ReturnIndirection: d |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction

93
cpp/ql/test/library-tests/ir/ssa/unaliased_ssa_ir.expected
View File

@@ -78,9 +78,10 @@ ssa.cpp:
# 28| r6_9(int) = Add : r6_4, r6_8
# 28| m6_10(int) = Store : &:r6_0, r6_9
# 13| v6_11(void) = ReturnIndirection : &:r0_5, ~mu0_2
# 13| v6_12(void) = ReturnValue : m6_10
# 13| v6_13(void) = UnmodeledUse : mu*
# 13| v6_14(void) = ExitFunction :
# 13| r6_12(glval<int>) = VariableAddress[#return] :
# 13| v6_13(void) = ReturnValue : &:r6_12, m6_10
# 13| v6_14(void) = UnmodeledUse : mu*
# 13| v6_15(void) = ExitFunction :
# 31| int UnreachableViaGoto()
# 31| Block 0
@@ -92,9 +93,10 @@ ssa.cpp:
# 35| r0_5(glval<int>) = VariableAddress[#return] :
# 35| r0_6(int) = Constant[0] :
# 35| m0_7(int) = Store : &:r0_5, r0_6
# 31| v0_8(void) = ReturnValue : m0_7
# 31| v0_9(void) = UnmodeledUse : mu*
# 31| v0_10(void) = ExitFunction :
# 31| r0_8(glval<int>) = VariableAddress[#return] :
# 31| v0_9(void) = ReturnValue : &:r0_8, m0_7
# 31| v0_10(void) = UnmodeledUse : mu*
# 31| v0_11(void) = ExitFunction :
# 38| int UnreachableIf(bool)
# 38| Block 0
@@ -116,10 +118,11 @@ ssa.cpp:
#-----| True -> Block 2
# 38| Block 1
# 38| m1_0(int) = Phi : from 3:m3_2, from 4:m4_2, from 6:m6_2, from 7:m7_2
# 38| v1_1(void) = ReturnValue : m1_0
# 38| v1_2(void) = UnmodeledUse : mu*
# 38| v1_3(void) = ExitFunction :
# 38| m1_0(int) = Phi : from 3:m3_2, from 4:m4_2, from 6:m6_2, from 7:m7_2
# 38| r1_1(glval<int>) = VariableAddress[#return] :
# 38| v1_2(void) = ReturnValue : &:r1_1, m1_0
# 38| v1_3(void) = UnmodeledUse : mu*
# 38| v1_4(void) = ExitFunction :
# 42| Block 2
# 42| r2_0(glval<int>) = VariableAddress[x] :
@@ -188,9 +191,10 @@ ssa.cpp:
# 65| r1_1(glval<int>) = VariableAddress[i] :
# 65| r1_2(int) = Load : &:r1_1, m0_10
# 65| m1_3(int) = Store : &:r1_0, r1_2
# 59| v1_4(void) = ReturnValue : m1_3
# 59| v1_5(void) = UnmodeledUse : mu*
# 59| v1_6(void) = ExitFunction :
# 59| r1_4(glval<int>) = VariableAddress[#return] :
# 59| v1_5(void) = ReturnValue : &:r1_4, m1_3
# 59| v1_6(void) = UnmodeledUse : mu*
# 59| v1_7(void) = ExitFunction :
# 59| Block 2
# 59| v2_0(void) = Unreached :
@@ -221,6 +225,9 @@ ssa.cpp:
# 71| Block 2
# 71| v2_0(void) = NoOp :
# 68| v2_1(void) = ReturnIndirection : &:r0_7, ~mu0_2
# 68| v2_2(void) = ReturnVoid :
# 68| v2_3(void) = UnmodeledUse : mu*
# 68| v2_4(void) = ExitFunction :
# 69| Block 3
# 69| m3_0(int) = Phi : from 0:m0_4, from 1:m3_6
@@ -289,6 +296,9 @@ ssa.cpp:
# 88| r3_12(int) = Load : &:r3_11, m0_13
# 88| m3_13(int) = Store : &:r3_10, r3_12
# 89| v3_14(void) = NoOp :
# 75| v3_15(void) = ReturnVoid :
# 75| v3_16(void) = UnmodeledUse : mu*
# 75| v3_17(void) = ExitFunction :
# 91| void MustExactlyOverlap(Point)
# 91| Block 0
@@ -302,6 +312,9 @@ ssa.cpp:
# 92| r0_7(Point) = Load : &:r0_6, m0_4
# 92| m0_8(Point) = Store : &:r0_5, r0_7
# 93| v0_9(void) = NoOp :
# 91| v0_10(void) = ReturnVoid :
# 91| v0_11(void) = UnmodeledUse : mu*
# 91| v0_12(void) = ExitFunction :
# 95| void MustExactlyOverlapEscaped(Point)
# 95| Block 0
@@ -322,6 +335,9 @@ ssa.cpp:
# 97| v0_14(void) = ^IndirectReadSideEffect[0] : &:r0_11, ~mu0_2
# 97| mu0_15(unknown) = ^BufferMayWriteSideEffect[0] : &:r0_11
# 98| v0_16(void) = NoOp :
# 95| v0_17(void) = ReturnVoid :
# 95| v0_18(void) = UnmodeledUse : mu*
# 95| v0_19(void) = ExitFunction :
# 100| void MustTotallyOverlap(Point)
# 100| Block 0
@@ -341,6 +357,9 @@ ssa.cpp:
# 102| r0_13(int) = Load : &:r0_12, ~mu0_2
# 102| m0_14(int) = Store : &:r0_10, r0_13
# 103| v0_15(void) = NoOp :
# 100| v0_16(void) = ReturnVoid :
# 100| v0_17(void) = UnmodeledUse : mu*
# 100| v0_18(void) = ExitFunction :
# 105| void MustTotallyOverlapEscaped(Point)
# 105| Block 0
@@ -367,6 +386,9 @@ ssa.cpp:
# 108| v0_20(void) = ^IndirectReadSideEffect[0] : &:r0_17, ~mu0_2
# 108| mu0_21(unknown) = ^BufferMayWriteSideEffect[0] : &:r0_17
# 109| v0_22(void) = NoOp :
# 105| v0_23(void) = ReturnVoid :
# 105| v0_24(void) = UnmodeledUse : mu*
# 105| v0_25(void) = ExitFunction :
# 111| void MayPartiallyOverlap(int, int)
# 111| Block 0
@@ -392,6 +414,9 @@ ssa.cpp:
# 113| r0_19(Point) = Load : &:r0_18, ~mu0_2
# 113| m0_20(Point) = Store : &:r0_17, r0_19
# 114| v0_21(void) = NoOp :
# 111| v0_22(void) = ReturnVoid :
# 111| v0_23(void) = UnmodeledUse : mu*
# 111| v0_24(void) = ExitFunction :
# 116| void MayPartiallyOverlapEscaped(int, int)
# 116| Block 0
@@ -424,6 +449,9 @@ ssa.cpp:
# 119| v0_26(void) = ^IndirectReadSideEffect[0] : &:r0_23, ~mu0_2
# 119| mu0_27(unknown) = ^BufferMayWriteSideEffect[0] : &:r0_23
# 120| v0_28(void) = NoOp :
# 116| v0_29(void) = ReturnVoid :
# 116| v0_30(void) = UnmodeledUse : mu*
# 116| v0_31(void) = ExitFunction :
# 122| void MergeMustExactlyOverlap(bool, int, int)
# 122| Block 0
@@ -477,6 +505,9 @@ ssa.cpp:
# 131| r3_7(Point) = Load : &:r3_6, ~mu0_2
# 131| m3_8(Point) = Store : &:r3_5, r3_7
# 132| v3_9(void) = NoOp :
# 122| v3_10(void) = ReturnVoid :
# 122| v3_11(void) = UnmodeledUse : mu*
# 122| v3_12(void) = ExitFunction :
# 134| void MergeMustExactlyWithMustTotallyOverlap(bool, Point, int)
# 134| Block 0
@@ -525,6 +556,9 @@ ssa.cpp:
# 142| r3_3(int) = Load : &:r3_2, ~mu0_2
# 142| m3_4(int) = Store : &:r3_0, r3_3
# 143| v3_5(void) = NoOp :
# 134| v3_6(void) = ReturnVoid :
# 134| v3_7(void) = UnmodeledUse : mu*
# 134| v3_8(void) = ExitFunction :
# 145| void MergeMustExactlyWithMayPartiallyOverlap(bool, Point, int)
# 145| Block 0
@@ -572,6 +606,9 @@ ssa.cpp:
# 153| r3_2(Point) = Load : &:r3_1, ~mu0_2
# 153| m3_3(Point) = Store : &:r3_0, r3_2
# 154| v3_4(void) = NoOp :
# 145| v3_5(void) = ReturnVoid :
# 145| v3_6(void) = UnmodeledUse : mu*
# 145| v3_7(void) = ExitFunction :
# 156| void MergeMustTotallyOverlapWithMayPartiallyOverlap(bool, Rect, int)
# 156| Block 0
@@ -621,6 +658,9 @@ ssa.cpp:
# 164| r3_3(Point) = Load : &:r3_2, ~mu0_2
# 164| m3_4(Point) = Store : &:r3_0, r3_3
# 165| v3_5(void) = NoOp :
# 156| v3_6(void) = ReturnVoid :
# 156| v3_7(void) = UnmodeledUse : mu*
# 156| v3_8(void) = ExitFunction :
# 171| void WrapperStruct(Wrapper)
# 171| Block 0
@@ -652,6 +692,9 @@ ssa.cpp:
# 176| r0_25(glval<Wrapper>) = VariableAddress[x] :
# 176| m0_26(Wrapper) = Store : &:r0_25, r0_24
# 177| v0_27(void) = NoOp :
# 171| v0_28(void) = ReturnVoid :
# 171| v0_29(void) = UnmodeledUse : mu*
# 171| v0_30(void) = ExitFunction :
# 179| int AsmStmt(int*)
# 179| Block 0
@@ -669,9 +712,10 @@ ssa.cpp:
# 181| r0_11(int) = Load : &:r0_10, ~mu0_2
# 181| m0_12(int) = Store : &:r0_8, r0_11
# 179| v0_13(void) = ReturnIndirection : &:r0_5, ~mu0_2
# 179| v0_14(void) = ReturnValue : m0_12
# 179| v0_15(void) = UnmodeledUse : mu*
# 179| v0_16(void) = ExitFunction :
# 179| r0_14(glval<int>) = VariableAddress[#return] :
# 179| v0_15(void) = ReturnValue : &:r0_14, m0_12
# 179| v0_16(void) = UnmodeledUse : mu*
# 179| v0_17(void) = ExitFunction :
# 184| void AsmStmtWithOutputs(unsigned int&, unsigned int&, unsigned int&, unsigned int&)
# 184| Block 0
@@ -710,6 +754,9 @@ ssa.cpp:
# 184| v0_32(void) = ReturnIndirection : &:r0_9, ~mu0_2
# 184| v0_33(void) = ReturnIndirection : &:r0_13, ~mu0_2
# 184| v0_34(void) = ReturnIndirection : &:r0_17, ~mu0_2
# 184| v0_35(void) = ReturnVoid :
# 184| v0_36(void) = UnmodeledUse : mu*
# 184| v0_37(void) = ExitFunction :
# 198| int PureFunctions(char*, char*, int)
# 198| Block 0
@@ -761,9 +808,10 @@ ssa.cpp:
# 202| m0_45(int) = Store : &:r0_42, r0_44
# 198| v0_46(void) = ReturnIndirection : &:r0_5, ~mu0_2
# 198| v0_47(void) = ReturnIndirection : &:r0_9, ~mu0_2
# 198| v0_48(void) = ReturnValue : m0_45
# 198| v0_49(void) = UnmodeledUse : mu*
# 198| v0_50(void) = ExitFunction :
# 198| r0_48(glval<int>) = VariableAddress[#return] :
# 198| v0_49(void) = ReturnValue : &:r0_48, m0_45
# 198| v0_50(void) = UnmodeledUse : mu*
# 198| v0_51(void) = ExitFunction :
# 207| int ModeledCallTarget(int)
# 207| Block 0
@@ -787,6 +835,7 @@ ssa.cpp:
# 210| r0_17(glval<int>) = VariableAddress[y] :
# 210| r0_18(int) = Load : &:r0_17, ~mu0_2
# 210| m0_19(int) = Store : &:r0_16, r0_18
# 207| v0_20(void) = ReturnValue : m0_19
# 207| v0_21(void) = UnmodeledUse : mu*
# 207| v0_22(void) = ExitFunction :
# 207| r0_20(glval<int>) = VariableAddress[#return] :
# 207| v0_21(void) = ReturnValue : &:r0_20, m0_19
# 207| v0_22(void) = UnmodeledUse : mu*
# 207| v0_23(void) = ExitFunction :

21
cpp/ql/test/library-tests/ir/ssa/unaliased_ssa_sanity.expected
View File

@@ -1,31 +1,10 @@
missingOperand
| ssa.cpp:13:5:13:14 | ReturnValue: ChiPhiNode | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ssa.cpp:13:5:13:14 | IR: ChiPhiNode | int ChiPhiNode(Point*, bool, bool) |
| ssa.cpp:31:5:31:22 | ReturnValue: UnreachableViaGoto | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ssa.cpp:31:5:31:22 | IR: UnreachableViaGoto | int UnreachableViaGoto() |
| ssa.cpp:38:5:38:17 | ReturnValue: UnreachableIf | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ssa.cpp:38:5:38:17 | IR: UnreachableIf | int UnreachableIf(bool) |
| ssa.cpp:59:5:59:16 | ReturnValue: DoWhileFalse | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ssa.cpp:59:5:59:16 | IR: DoWhileFalse | int DoWhileFalse() |
| ssa.cpp:179:5:179:11 | ReturnValue: AsmStmt | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ssa.cpp:179:5:179:11 | IR: AsmStmt | int AsmStmt(int*) |
| ssa.cpp:198:5:198:17 | ReturnValue: PureFunctions | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ssa.cpp:198:5:198:17 | IR: PureFunctions | int PureFunctions(char*, char*, int) |
| ssa.cpp:207:5:207:21 | ReturnValue: ModeledCallTarget | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ssa.cpp:207:5:207:21 | IR: ModeledCallTarget | int ModeledCallTarget(int) |
unexpectedOperand
duplicateOperand
missingPhiOperand
missingOperandType
sideEffectWithoutPrimary
instructionWithoutSuccessor
| ssa.cpp:68:38:68:38 | ReturnIndirection: p |
| ssa.cpp:89:1:89:1 | NoOp: return ... |
| ssa.cpp:93:1:93:1 | NoOp: return ... |
| ssa.cpp:98:1:98:1 | NoOp: return ... |
| ssa.cpp:103:1:103:1 | NoOp: return ... |
| ssa.cpp:109:1:109:1 | NoOp: return ... |
| ssa.cpp:114:1:114:1 | NoOp: return ... |
| ssa.cpp:120:1:120:1 | NoOp: return ... |
| ssa.cpp:132:1:132:1 | NoOp: return ... |
| ssa.cpp:143:1:143:1 | NoOp: return ... |
| ssa.cpp:154:1:154:1 | NoOp: return ... |
| ssa.cpp:165:1:165:1 | NoOp: return ... |
| ssa.cpp:177:1:177:1 | NoOp: return ... |
| ssa.cpp:184:97:184:97 | ReturnIndirection: d |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction

413
cpp/ql/test/library-tests/syntax-zoo/aliased_ssa_sanity.expected
View File

@@ -1,444 +1,33 @@
missingOperand
| FunctionTryStmt.cpp:1:5:1:7 | ReturnValue: foo | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | FunctionTryStmt.cpp:1:5:1:7 | IR: foo | int foo() |
| allocators.cpp:7:16:7:27 | ReturnValue: operator new | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | allocators.cpp:7:16:7:27 | IR: operator new | void* Foo::operator new(unsigned long, int, int) |
| allocators.cpp:14:5:14:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | allocators.cpp:14:5:14:8 | IR: main | int main() |
| allocators.cpp:14:5:14:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | no_dynamic_init.cpp:9:5:9:8 | IR: main | int main() |
| allocators.cpp:14:5:14:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | parameterinitializer.cpp:18:5:18:8 | IR: main | int main() |
| allocators.cpp:14:5:14:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | stream_it.cpp:16:5:16:8 | IR: main | int main() |
| builtin.c:5:5:5:11 | ReturnValue: builtin | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | builtin.c:5:5:5:11 | IR: builtin | int builtin(int, int) |
| builtin.cpp:4:4:4:4 | ReturnValue: addressof | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | builtin.cpp:4:4:4:4 | IR: addressof | int* addressof<int>(int&) |
| condition_decls.cpp:8:3:8:14 | ReturnValue: operator int | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | condition_decls.cpp:8:3:8:14 | IR: operator int | int BoxedInt::operator int() |
| conditional_destructors.cpp:9:10:9:19 | ReturnValue: operator== | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | conditional_destructors.cpp:9:10:9:19 | IR: operator== | bool C1::operator==(C1 const&) const |
| conditional_destructors.cpp:24:10:24:19 | ReturnValue: operator== | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | conditional_destructors.cpp:24:10:24:19 | IR: operator== | bool C2::operator==(C2 const&) const |
| cpp11.cpp:27:7:27:14 | ReturnValue: getFirst | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | cpp11.cpp:27:7:27:14 | IR: getFirst | int range_based_for_11::getFirst() |
| cpp11.cpp:65:23:65:23 | ReturnValue: operator() | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | cpp11.cpp:65:23:65:23 | IR: operator() | int (void lambda::simple(int))::(lambda [] type at line 65, col. 20)::operator()() const |
| cpp11.cpp:106:7:106:9 | ReturnValue: ret | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | cpp11.cpp:106:7:106:9 | IR: ret | int synthetic_dtor_calls::ret() |
| cpp11.cpp:141:7:141:7 | ReturnValue: g | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | cpp11.cpp:141:7:141:7 | IR: g | int synthetic_dtor_calls::g(int) |
| destructors.cpp:6:5:6:20 | ReturnValue: destructors_main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | destructors.cpp:6:5:6:20 | IR: destructors_main | int destructors_main(HasDtor) |
| destructors.cpp:49:7:49:7 | ReturnValue: f | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | destructors.cpp:49:7:49:7 | IR: f | int cond_destruct::f(int) |
| ir.cpp:235:5:235:14 | ReturnValue: Parameters | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:235:5:235:14 | IR: Parameters | int Parameters(int, int) |
| ir.cpp:341:5:341:15 | ReturnValue: Dereference | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:341:5:341:15 | IR: Dereference | int Dereference(int*) |
| ir.cpp:348:6:348:14 | ReturnValue: AddressOf | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:348:6:348:14 | IR: AddressOf | int* AddressOf() |
| ir.cpp:376:5:376:11 | ReturnValue: CallAdd | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:376:5:376:11 | IR: CallAdd | int CallAdd(int, int) |
| ir.cpp:380:5:380:9 | ReturnValue: Comma | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:380:5:380:9 | IR: Comma | int Comma(int, int) |
| ir.cpp:422:7:422:18 | ReturnValue: ReturnStruct | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:422:7:422:18 | IR: ReturnStruct | Point ReturnStruct(Point) |
| ir.cpp:543:5:543:20 | ReturnValue: EarlyReturnValue | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:543:5:543:20 | IR: EarlyReturnValue | int EarlyReturnValue(int, int) |
| ir.cpp:551:5:551:18 | ReturnValue: CallViaFuncPtr | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:551:5:551:18 | IR: CallViaFuncPtr | int CallViaFuncPtr(int(*)(int)) |
| ir.cpp:560:5:560:14 | ReturnValue: EnumSwitch | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:560:5:560:14 | IR: EnumSwitch | int EnumSwitch(E) |
| ir.cpp:630:16:630:35 | ReturnValue: StaticMemberFunction | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:630:16:630:35 | IR: StaticMemberFunction | int C::StaticMemberFunction(int) |
| ir.cpp:634:9:634:30 | ReturnValue: InstanceMemberFunction | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:634:9:634:30 | IR: InstanceMemberFunction | int C::InstanceMemberFunction(int) |
| ir.cpp:638:17:638:37 | ReturnValue: VirtualMemberFunction | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:638:17:638:37 | IR: VirtualMemberFunction | int C::VirtualMemberFunction(int) |
| ir.cpp:675:5:675:18 | ReturnValue: DerefReference | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:675:5:675:18 | IR: DerefReference | int DerefReference(int&) |
| ir.cpp:679:6:679:18 | ReturnValue: TakeReference | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:679:6:679:18 | IR: TakeReference | int& TakeReference() |
| ir.cpp:704:3:704:3 | ReturnValue: min | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:704:3:704:3 | IR: min | int min<int>(int, int) |
| ir.cpp:708:5:708:11 | ReturnValue: CallMin | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:708:5:708:11 | IR: CallMin | int CallMin(int, int) |
| ir.cpp:715:12:715:12 | ReturnValue: Func | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:715:12:715:12 | IR: Func | long Outer<long>::Func<void*, char>(void*, char) |
| ir.cpp:720:8:720:29 | ReturnValue: CallNestedTemplateFunc | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:720:8:720:29 | IR: CallNestedTemplateFunc | double CallNestedTemplateFunc() |
| ir.cpp:745:8:745:8 | ReturnValue: operator= | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:745:8:745:8 | IR: operator= | Base& Base::operator=(Base const&) |
| ir.cpp:754:8:754:8 | ReturnValue: operator= | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:754:8:754:8 | IR: operator= | Middle& Middle::operator=(Middle const&) |
| ir.cpp:763:8:763:8 | ReturnValue: operator= | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:763:8:763:8 | IR: operator= | Derived& Derived::operator=(Derived const&) |
| ir.cpp:961:5:961:18 | ReturnValue: designatedInit | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:961:5:961:18 | IR: designatedInit | int designatedInit() |
| misc.c:125:5:125:11 | CopyValue: (statement expression) | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | misc.c:97:6:97:10 | IR: misc3 | void misc3() |
| misc.c:187:5:187:9 | ReturnValue: freti | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | misc.c:187:5:187:9 | IR: freti | int freti(int) |
| misc.c:208:1:208:3 | ReturnValue: fmac | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | misc.c:208:1:208:3 | IR: fmac | int fmac() |
| misc.c:212:5:212:16 | ReturnValue: extern_local | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | misc.c:212:5:212:16 | IR: extern_local | int extern_local() |
| misc.c:227:7:227:28 | ReturnValue: builtin_addressof_test | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | misc.c:227:7:227:28 | IR: builtin_addressof_test | void* builtin_addressof_test() |
| ms_assume.cpp:11:5:11:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ms_assume.cpp:11:5:11:8 | IR: main | int main(int, char*[]) |
| no_dynamic_init.cpp:9:5:9:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | allocators.cpp:14:5:14:8 | IR: main | int main() |
| no_dynamic_init.cpp:9:5:9:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | no_dynamic_init.cpp:9:5:9:8 | IR: main | int main() |
| no_dynamic_init.cpp:9:5:9:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | parameterinitializer.cpp:18:5:18:8 | IR: main | int main() |
| no_dynamic_init.cpp:9:5:9:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | stream_it.cpp:16:5:16:8 | IR: main | int main() |
| parameterinitializer.cpp:18:5:18:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | allocators.cpp:14:5:14:8 | IR: main | int main() |
| parameterinitializer.cpp:18:5:18:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | no_dynamic_init.cpp:9:5:9:8 | IR: main | int main() |
| parameterinitializer.cpp:18:5:18:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | parameterinitializer.cpp:18:5:18:8 | IR: main | int main() |
| parameterinitializer.cpp:18:5:18:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | stream_it.cpp:16:5:16:8 | IR: main | int main() |
| parameterinitializer.cpp:27:3:27:6 | IndirectReadSideEffect: my_c | Instruction 'IndirectReadSideEffect' is missing an expected operand with tag 'SideEffect' in function '$@'. | allocators.cpp:14:5:14:8 | IR: main | int main() |
| parameterinitializer.cpp:27:3:27:6 | IndirectReadSideEffect: my_c | Instruction 'IndirectReadSideEffect' is missing an expected operand with tag 'SideEffect' in function '$@'. | no_dynamic_init.cpp:9:5:9:8 | IR: main | int main() |
| parameterinitializer.cpp:27:3:27:6 | IndirectReadSideEffect: my_c | Instruction 'IndirectReadSideEffect' is missing an expected operand with tag 'SideEffect' in function '$@'. | parameterinitializer.cpp:18:5:18:8 | IR: main | int main() |
| parameterinitializer.cpp:27:3:27:6 | IndirectReadSideEffect: my_c | Instruction 'IndirectReadSideEffect' is missing an expected operand with tag 'SideEffect' in function '$@'. | stream_it.cpp:16:5:16:8 | IR: main | int main() |
| pointer_to_member.cpp:14:5:14:9 | ReturnValue: usePM | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | pointer_to_member.cpp:14:5:14:9 | IR: usePM | int usePM(int PM::*) |
| range_analysis.c:5:5:5:9 | ReturnValue: test1 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:5:5:5:9 | IR: test1 | int test1(List*) |
| range_analysis.c:13:5:13:9 | ReturnValue: test2 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:13:5:13:9 | IR: test2 | int test2(List*) |
| range_analysis.c:21:5:21:9 | ReturnValue: test3 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:21:5:21:9 | IR: test3 | int test3(List*) |
| range_analysis.c:30:5:30:9 | ReturnValue: test4 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:30:5:30:9 | IR: test4 | int test4() |
| range_analysis.c:39:5:39:9 | ReturnValue: test5 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:39:5:39:9 | IR: test5 | int test5() |
| range_analysis.c:48:5:48:9 | ReturnValue: test6 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:48:5:48:9 | IR: test6 | int test6() |
| range_analysis.c:57:5:57:9 | ReturnValue: test7 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:57:5:57:9 | IR: test7 | int test7(int) |
| range_analysis.c:66:5:66:9 | ReturnValue: test8 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:66:5:66:9 | IR: test8 | int test8(int, int) |
| range_analysis.c:75:5:75:9 | ReturnValue: test9 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:75:5:75:9 | IR: test9 | int test9(int, int) |
| range_analysis.c:88:5:88:10 | ReturnValue: test10 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:88:5:88:10 | IR: test10 | int test10(int, int) |
| range_analysis.c:98:5:98:10 | ReturnValue: test11 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:98:5:98:10 | IR: test11 | int test11(char*) |
| range_analysis.c:117:11:117:23 | ReturnValue: test12_helper | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:117:11:117:23 | IR: test12_helper | size_type test12_helper() |
| range_analysis.c:122:5:122:10 | ReturnValue: test12 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:122:5:122:10 | IR: test12 | int test12() |
| range_analysis.c:134:5:134:10 | ReturnValue: test13 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:134:5:134:10 | IR: test13 | int test13(char, int) |
| range_analysis.c:143:5:143:10 | ReturnValue: test14 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:143:5:143:10 | IR: test14 | int test14(int) |
| range_analysis.c:153:11:153:16 | ReturnValue: test15 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:153:11:153:16 | IR: test15 | long long test15(long long) |
| range_analysis.c:158:5:158:14 | ReturnValue: test_unary | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:158:5:158:14 | IR: test_unary | int test_unary(int) |
| range_analysis.c:197:5:197:15 | ReturnValue: test_mult01 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:197:5:197:15 | IR: test_mult01 | int test_mult01(int, int) |
| range_analysis.c:225:5:225:15 | ReturnValue: test_mult02 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:225:5:225:15 | IR: test_mult02 | int test_mult02(int, int) |
| range_analysis.c:253:5:253:15 | ReturnValue: test_mult03 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:253:5:253:15 | IR: test_mult03 | int test_mult03(int, int) |
| range_analysis.c:281:5:281:15 | ReturnValue: test_mult04 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:281:5:281:15 | IR: test_mult04 | int test_mult04(int, int) |
| range_analysis.c:309:5:309:15 | ReturnValue: test_mult05 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:309:5:309:15 | IR: test_mult05 | int test_mult05(int, int) |
| range_analysis.c:336:5:336:10 | ReturnValue: test16 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:336:5:336:10 | IR: test16 | int test16(int) |
| range_analysis.c:355:14:355:27 | ReturnValue: test_ternary01 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:355:14:355:27 | IR: test_ternary01 | unsigned int test_ternary01(unsigned int) |
| range_analysis.c:377:14:377:27 | ReturnValue: test_ternary02 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:377:14:377:27 | IR: test_ternary02 | unsigned int test_ternary02(unsigned int) |
| range_analysis.c:393:14:393:25 | ReturnValue: test_comma01 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:393:14:393:25 | IR: test_comma01 | unsigned int test_comma01(unsigned int) |
| rethrow_error.cpp:8:5:8:5 | ReturnValue: fun2 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | rethrow_error.cpp:8:5:8:5 | IR: fun2 | int fun2<int>() |
| returnstmt.c:7:5:7:14 | ReturnValue: return_int | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | returnstmt.c:7:5:7:14 | IR: return_int | int return_int() |
| static_init_templates.cpp:77:28:77:28 | ReturnValue: instantiatedTemplateFunction | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | static_init_templates.cpp:77:28:77:28 | IR: instantiatedTemplateFunction | void* instantiatedTemplateFunction<float>() |
| static_init_templates.cpp:77:28:77:28 | ReturnValue: instantiatedTemplateFunction | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | static_init_templates.cpp:77:28:77:28 | IR: instantiatedTemplateFunction | void* instantiatedTemplateFunction<int>() |
| static_init_templates.cpp:86:28:86:28 | ReturnValue: instantiatedTemplateFunction2 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | static_init_templates.cpp:86:28:86:28 | IR: instantiatedTemplateFunction2 | void* instantiatedTemplateFunction2<float>() |
| static_init_templates.cpp:86:28:86:28 | ReturnValue: instantiatedTemplateFunction2 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | static_init_templates.cpp:86:28:86:28 | IR: instantiatedTemplateFunction2 | void* instantiatedTemplateFunction2<int>() |
| static_init_templates.cpp:94:28:94:28 | ReturnValue: instantiatedTemplateFunction3 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | static_init_templates.cpp:94:28:94:28 | IR: instantiatedTemplateFunction3 | void* instantiatedTemplateFunction3<float>() |
| static_init_templates.cpp:94:28:94:28 | ReturnValue: instantiatedTemplateFunction3 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | static_init_templates.cpp:94:28:94:28 | IR: instantiatedTemplateFunction3 | void* instantiatedTemplateFunction3<int>() |
| static_init_templates.cpp:102:28:102:28 | ReturnValue: instantiatedTemplateFunction4 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | static_init_templates.cpp:102:28:102:28 | IR: instantiatedTemplateFunction4 | void* instantiatedTemplateFunction4<float>() |
| static_init_templates.cpp:102:28:102:28 | ReturnValue: instantiatedTemplateFunction4 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | static_init_templates.cpp:102:28:102:28 | IR: instantiatedTemplateFunction4 | void* instantiatedTemplateFunction4<int>() |
| static_init_templates.cpp:122:7:122:25 | ReturnValue: nonTemplateFunction | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | static_init_templates.cpp:122:7:122:25 | IR: nonTemplateFunction | void* nonTemplateFunction() |
| static_init_templates.cpp:130:7:130:26 | ReturnValue: nonTemplateFunction2 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | static_init_templates.cpp:130:7:130:26 | IR: nonTemplateFunction2 | void* nonTemplateFunction2() |
| staticlocals.cpp:3:5:3:5 | ReturnValue: g | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | staticlocals.cpp:3:5:3:5 | IR: g | int staticlocals::g() |
| staticlocals.cpp:7:5:7:5 | ReturnValue: h | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | staticlocals.cpp:7:5:7:5 | IR: h | int staticlocals::h() |
| staticlocals.cpp:17:15:17:20 | ReturnValue: addOne | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | staticlocals.cpp:17:15:17:20 | IR: addOne | int staticlocals::addOne(int) |
| stream_it.cpp:4:6:4:6 | ReturnValue: begin | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | stream_it.cpp:4:6:4:6 | IR: begin | int* vector<int>::begin() |
| stream_it.cpp:5:6:5:6 | ReturnValue: end | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | stream_it.cpp:5:6:5:6 | IR: end | int* vector<int>::end() |
| stream_it.cpp:16:5:16:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | allocators.cpp:14:5:14:8 | IR: main | int main() |
| stream_it.cpp:16:5:16:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | no_dynamic_init.cpp:9:5:9:8 | IR: main | int main() |
| stream_it.cpp:16:5:16:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | parameterinitializer.cpp:18:5:18:8 | IR: main | int main() |
| stream_it.cpp:16:5:16:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | stream_it.cpp:16:5:16:8 | IR: main | int main() |
| switchbody.c:4:5:4:16 | ReturnValue: switch_block | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | switchbody.c:4:5:4:16 | IR: switch_block | int switch_block(int) |
| switchbody.c:15:5:15:17 | ReturnValue: switch_single | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | switchbody.c:15:5:15:17 | IR: switch_single | int switch_single(int) |
| switchbody.c:27:5:27:19 | ReturnValue: switch_notblock | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | switchbody.c:27:5:27:19 | IR: switch_notblock | int switch_notblock(int) |
| test.c:218:5:218:11 | ReturnValue: f_and_1 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | test.c:218:5:218:11 | IR: f_and_1 | int f_and_1(int, int) |
| test.c:225:5:225:11 | ReturnValue: f_and_2 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | test.c:225:5:225:11 | IR: f_and_2 | int f_and_2(int, int) |
| try_catch.cpp:13:5:13:16 | ThrowValue: throw ... | Instruction 'ThrowValue' is missing an expected operand with tag 'Load' in function '$@'. | try_catch.cpp:11:6:11:17 | IR: bypass_catch | void bypass_catch() |
| void_bug.cpp:3:5:3:12 | ReturnValue: void_bug | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | void_bug.cpp:3:5:3:12 | IR: void_bug | int void_bug() |
unexpectedOperand
duplicateOperand
missingPhiOperand
| cpp11.cpp:141:7:141:7 | Phi: g | cpp11.cpp:161:16:161:16 | NoOp: label ...: |
missingOperandType
sideEffectWithoutPrimary
instructionWithoutSuccessor
| CPP-309.cpp:8:1:8:1 | NoOp: return ... |
| CPP-309.cpp:12:1:12:1 | NoOp: return ... |
| FunctionTryStmt.cpp:11:5:11:11 | NoOp: return ... |
| VacuousDestructorCall.cpp:2:29:2:29 | Chi: y |
| VacuousDestructorCall.cpp:11:1:11:1 | NoOp: return ... |
| abortingfunctions.cpp:10:1:10:1 | NoOp: return ... |
| abortingfunctions.cpp:17:1:17:1 | NoOp: return ... |
| abortingfunctions.cpp:25:1:25:1 | NoOp: return ... |
| abortingfunctions.cpp:35:1:35:1 | NoOp: return ... |
| abortingfunctions.cpp:42:1:42:1 | NoOp: return ... |
| abortingfunctions.cpp:46:1:46:1 | NoOp: return ... |
| aggregateinitializer.c:4:1:4:1 | NoOp: return ... |
| allocators.cpp:3:39:3:39 | NoOp: return ... |
| allocators.cpp:4:25:4:25 | NoOp: return ... |
| allocators.cpp:8:37:8:40 | ReturnIndirection: self |
| array_delete.cpp:7:1:7:1 | NoOp: return ... |
| assignexpr.cpp:11:1:11:1 | NoOp: return ... |
| assume0.cpp:12:1:12:1 | NoOp: return ... |
| assume0.cpp:20:1:20:1 | NoOp: return ... |
| bad_asts.cpp:17:3:17:3 | NoOp: return ... |
| bad_asts.cpp:23:5:23:5 | NoOp: return ... |
| bad_asts.cpp:26:41:26:41 | ReturnIndirection: a |
| break_labels.c:13:12:13:17 | Chi: result |
| break_labels.c:29:1:29:1 | NoOp: return ... |
| builtin.cpp:11:1:11:1 | NoOp: return ... |
| builtin.cpp:16:1:16:1 | NoOp: return ... |
| condition_decl_int.cpp:5:1:5:1 | NoOp: return ... |
| condition_decls.cpp:4:3:4:3 | NoOp: return ... |
| condition_decls.cpp:7:3:7:3 | NoOp: return ... |
| condition_decls.cpp:16:19:16:20 | Chi: call to BoxedInt |
| condition_decls.cpp:26:23:26:24 | Chi: call to BoxedInt |
| condition_decls.cpp:41:22:41:23 | Chi: call to BoxedInt |
| condition_decls.cpp:48:52:48:53 | Chi: call to BoxedInt |
| conditional_destructors.cpp:7:9:7:9 | NoOp: return ... |
| conditional_destructors.cpp:19:9:19:9 | NoOp: return ... |
| conditional_destructors.cpp:22:9:22:9 | NoOp: return ... |
| conditional_destructors.cpp:36:1:36:1 | NoOp: return ... |
| conditional_destructors.cpp:45:1:45:1 | NoOp: return ... |
| constmemberaccess.cpp:10:1:10:1 | NoOp: return ... |
| constructorinitializer.cpp:9:1:9:1 | NoOp: return ... |
| cpp11.cpp:9:3:9:3 | NoOp: return ... |
| cpp11.cpp:52:1:52:1 | NoOp: return ... |
| cpp11.cpp:61:1:61:1 | NoOp: return ... |
| cpp11.cpp:66:3:66:3 | NoOp: return ... |
| cpp11.cpp:78:3:78:3 | NoOp: return ... |
| cpp11.cpp:82:55:82:55 | NoOp: return ... |
| cpp11.cpp:83:3:83:3 | NoOp: return ... |
| cpp11.cpp:89:3:89:3 | NoOp: return ... |
| cpp11.cpp:104:3:104:3 | NoOp: return ... |
| cpp11.cpp:115:3:115:3 | NoOp: return ... |
| cpp11.cpp:136:3:136:3 | NoOp: return ... |
| cpp11.cpp:166:14:166:14 | NoOp: return ... |
| cpp11.cpp:171:3:171:3 | NoOp: return ... |
| cpp17.cpp:15:11:15:21 | Convert: (void *)... |
| cpp17.cpp:18:42:18:42 | ReturnIndirection: p |
| defconstructornewexpr.cpp:5:3:5:9 | NoOp: return ... |
| defdestructordeleteexpr.cpp:6:1:6:1 | NoOp: return ... |
| deleteexpr.cpp:9:1:9:1 | NoOp: return ... |
| destructors.cpp:31:1:31:1 | NoOp: return ... |
| destructors.cpp:38:1:38:1 | NoOp: return ... |
| dostmt.c:6:1:6:1 | NoOp: return ... |
| dostmt.c:14:1:14:1 | NoOp: return ... |
| dostmt.c:23:1:23:1 | NoOp: return ... |
| dostmt.c:38:1:38:1 | NoOp: return ... |
| duff2.c:14:1:14:1 | NoOp: return ... |
| duff2.c:22:1:22:1 | NoOp: return ... |
| duff.c:15:1:15:1 | NoOp: return ... |
| dummyblock.c:4:1:4:1 | NoOp: return ... |
| ellipsisexceptionhandler.cpp:12:1:12:1 | NoOp: return ... |
| ellipsisexceptionhandler.cpp:19:1:19:1 | NoOp: return ... |
| emptyblock.c:5:1:5:1 | NoOp: return ... |
| enum.c:6:9:6:9 | Chi: (int)... |
| exceptionhandler.cpp:24:1:24:1 | NoOp: return ... |
| exprstmt.c:4:1:4:1 | NoOp: return ... |
| fieldaccess.cpp:10:1:10:1 | NoOp: return ... |
| file://:0:0:0:0 | ReturnIndirection: p#0 |
| file://:0:0:0:0 | ReturnIndirection: p#0 |
| file://:0:0:0:0 | ReturnIndirection: p#0 |
| file://:0:0:0:0 | ReturnIndirection: p#2 |
| forstmt.cpp:6:1:6:1 | NoOp: return ... |
| forstmt.cpp:11:1:11:1 | NoOp: return ... |
| forstmt.cpp:21:1:21:1 | NoOp: return ... |
| gotostmt.c:5:1:5:1 | NoOp: return ... |
| ifelsestmt.c:9:1:9:1 | NoOp: return ... |
| ifelsestmt.c:17:1:17:1 | NoOp: return ... |
| ifelsestmt.c:27:1:27:1 | NoOp: return ... |
| ifelsestmt.c:35:1:35:1 | NoOp: return ... |
| ifelsestmt.c:45:1:45:1 | NoOp: return ... |
| ifstmt.c:6:1:6:1 | NoOp: return ... |
| ifstmt.c:12:1:12:1 | NoOp: return ... |
| ifstmt.c:19:1:19:1 | NoOp: return ... |
| ifstmt.c:25:1:25:1 | NoOp: return ... |
| ifstmt.c:32:1:32:1 | NoOp: return ... |
| initializer.c:4:1:4:1 | NoOp: return ... |
| ir.cpp:41:1:41:1 | NoOp: return ... |
| ir.cpp:48:1:48:1 | NoOp: return ... |
| ir.cpp:85:1:85:1 | NoOp: return ... |
| ir.cpp:96:1:96:1 | NoOp: return ... |
| ir.cpp:105:1:105:1 | NoOp: return ... |
| ir.cpp:112:1:112:1 | NoOp: return ... |
| ir.cpp:131:1:131:1 | NoOp: return ... |
| ir.cpp:142:1:142:1 | NoOp: return ... |
| ir.cpp:151:1:151:1 | NoOp: return ... |
| ir.cpp:153:22:153:22 | ReturnIndirection: p |
| ir.cpp:171:23:171:23 | ReturnIndirection: p |
| ir.cpp:191:1:191:1 | NoOp: return ... |
| ir.cpp:193:34:193:34 | ReturnIndirection: q |
| ir.cpp:204:26:204:26 | ReturnIndirection: p |
| ir.cpp:228:1:228:1 | NoOp: return ... |
| ir.cpp:233:1:233:1 | NoOp: return ... |
| ir.cpp:251:1:251:1 | NoOp: return ... |
| ir.cpp:257:1:257:1 | NoOp: return ... |
| ir.cpp:263:1:263:1 | NoOp: return ... |
| ir.cpp:309:1:309:1 | NoOp: return ... |
| ir.cpp:315:1:315:1 | NoOp: return ... |
| ir.cpp:323:1:323:1 | NoOp: return ... |
| ir.cpp:331:1:331:1 | NoOp: return ... |
| ir.cpp:358:1:358:1 | NoOp: return ... |
| ir.cpp:367:1:367:1 | NoOp: return ... |
| ir.cpp:374:1:374:1 | NoOp: return ... |
| ir.cpp:410:1:410:1 | NoOp: return ... |
| ir.cpp:431:1:431:1 | NoOp: return ... |
| ir.cpp:445:1:445:1 | NoOp: return ... |
| ir.cpp:459:1:459:1 | NoOp: return ... |
| ir.cpp:473:1:473:1 | NoOp: return ... |
| ir.cpp:480:1:480:1 | NoOp: return ... |
| ir.cpp:484:1:484:1 | NoOp: return ... |
| ir.cpp:490:1:490:1 | NoOp: return ... |
| ir.cpp:494:1:494:1 | NoOp: return ... |
| ir.cpp:501:1:501:1 | NoOp: return ... |
| ir.cpp:510:1:510:1 | NoOp: return ... |
| ir.cpp:517:1:517:1 | NoOp: return ... |
| ir.cpp:523:1:523:1 | NoOp: return ... |
| ir.cpp:533:1:533:1 | NoOp: return ... |
| ir.cpp:537:9:537:15 | NoOp: return ... |
| ir.cpp:541:1:541:1 | NoOp: return ... |
| ir.cpp:580:1:580:1 | NoOp: return ... |
| ir.cpp:586:1:586:1 | NoOp: return ... |
| ir.cpp:595:1:595:1 | NoOp: return ... |
| ir.cpp:620:1:620:1 | NoOp: return ... |
| ir.cpp:622:37:622:37 | ReturnIndirection: p |
| ir.cpp:650:5:650:5 | NoOp: return ... |
| ir.cpp:656:5:656:5 | NoOp: return ... |
| ir.cpp:664:5:664:5 | NoOp: return ... |
| ir.cpp:689:1:689:1 | NoOp: return ... |
| ir.cpp:695:1:695:1 | NoOp: return ... |
| ir.cpp:701:1:701:1 | NoOp: return ... |
| ir.cpp:743:1:743:1 | NoOp: return ... |
| ir.cpp:749:3:749:3 | NoOp: return ... |
| ir.cpp:751:3:751:3 | Chi: call to ~String |
| ir.cpp:758:3:758:3 | NoOp: return ... |
| ir.cpp:760:3:760:3 | Chi: call to ~Base |
| ir.cpp:767:3:767:3 | NoOp: return ... |
| ir.cpp:769:3:769:3 | Chi: call to ~Middle |
| ir.cpp:776:3:776:3 | NoOp: return ... |
| ir.cpp:778:3:778:3 | Chi: call to ~Base |
| ir.cpp:785:3:785:3 | NoOp: return ... |
| ir.cpp:787:3:787:3 | Chi: call to ~Base |
| ir.cpp:794:3:794:3 | NoOp: return ... |
| ir.cpp:796:3:796:3 | Chi: call to ~Base |
| ir.cpp:840:1:840:1 | NoOp: return ... |
| ir.cpp:842:8:842:8 | NoOp: return ... |
| ir.cpp:846:8:846:8 | Chi: call to ~PolymorphicBase |
| ir.cpp:846:8:846:8 | NoOp: return ... |
| ir.cpp:865:1:865:1 | NoOp: return ... |
| ir.cpp:869:1:869:1 | NoOp: return ... |
| ir.cpp:881:1:881:1 | NoOp: return ... |
| ir.cpp:883:47:883:47 | ReturnIndirection: p |
| ir.cpp:898:1:898:1 | NoOp: return ... |
| ir.cpp:902:1:902:1 | NoOp: return ... |
| ir.cpp:907:1:907:1 | NoOp: return ... |
| ir.cpp:948:1:948:1 | NoOp: return ... |
| ir.cpp:959:1:959:1 | NoOp: return ... |
| landexpr.c:6:1:6:1 | NoOp: return ... |
| lorexpr.c:6:1:6:1 | NoOp: return ... |
| ltrbinopexpr.c:43:1:43:1 | NoOp: return ... |
| membercallexpr.cpp:10:1:10:1 | NoOp: return ... |
| membercallexpr_args.cpp:11:1:11:1 | NoOp: return ... |
| misc.c:91:54:91:55 | ReturnIndirection: sp |
| misc.c:142:1:142:1 | NoOp: return ... |
| misc.c:150:1:150:1 | NoOp: return ... |
| misc.c:161:1:161:1 | NoOp: return ... |
| misc.c:166:1:166:1 | NoOp: return ... |
| misc.c:171:10:171:13 | Uninitialized: definition of str2 |
| misc.c:181:1:181:1 | NoOp: return ... |
| misc.c:184:5:184:11 | NoOp: return ... |
| misc.c:197:23:197:25 | ReturnIndirection: fmt |
| misc.c:219:47:219:48 | Chi: sp |
| ms_try_except.cpp:3:9:3:9 | Uninitialized: definition of x |
| ms_try_mix.cpp:11:12:11:15 | Chi: call to C |
| ms_try_mix.cpp:28:12:28:15 | Chi: call to C |
| ms_try_mix.cpp:48:10:48:13 | Chi: call to C |
| newexpr.cpp:9:1:9:1 | NoOp: return ... |
| no_dynamic_init.cpp:6:3:6:3 | NoOp: return ... |
| nodefaultswitchstmt.c:7:1:7:1 | NoOp: return ... |
| nonmembercallexpr.c:1:12:1:12 | NoOp: return ... |
| nonmembercallexpr.c:6:1:6:1 | NoOp: return ... |
| nonmemberfp2callexpr.c:6:1:6:1 | NoOp: return ... |
| nonmemberfpcallexpr.c:5:1:5:1 | NoOp: return ... |
| ops.cpp:14:29:14:29 | NoOp: return ... |
| ops.cpp:15:30:15:30 | NoOp: return ... |
| ops.cpp:28:1:28:1 | NoOp: return ... |
| parameterinitializer.cpp:4:12:4:12 | Chi: 5 |
| parameterinitializer.cpp:9:1:9:1 | NoOp: return ... |
| parameterinitializer.cpp:13:18:13:18 | NoOp: return ... |
| parameterinitializer.cpp:15:28:15:28 | NoOp: return ... |
| pmcallexpr.cpp:10:1:10:1 | NoOp: return ... |
| pointer_to_member.cpp:36:11:36:30 | FieldAddress: {...} |
| pruning.c:10:1:10:1 | NoOp: return ... |
| pruning.c:14:9:14:15 | NoOp: return ... |
| pruning.c:22:9:22:15 | NoOp: return ... |
| pruning.c:34:1:34:1 | NoOp: return ... |
| pruning.c:38:9:38:15 | NoOp: return ... |
| pruning.c:50:1:50:1 | NoOp: return ... |
| pruning.c:54:9:54:15 | NoOp: return ... |
| pruning.c:62:9:62:15 | NoOp: return ... |
| pruning.c:75:1:75:1 | NoOp: return ... |
| pruning.c:80:9:80:15 | NoOp: return ... |
| pruning.c:89:9:89:15 | NoOp: return ... |
| pruning.c:102:1:102:1 | NoOp: return ... |
| pruning.c:107:9:107:15 | NoOp: return ... |
| pruning.c:120:1:120:1 | NoOp: return ... |
| pruning.c:125:9:125:15 | NoOp: return ... |
| pruning.c:134:9:134:15 | NoOp: return ... |
| pruning.c:138:1:138:1 | NoOp: return ... |
| pruning.c:144:1:144:1 | NoOp: return ... |
| pruning.c:150:1:150:1 | NoOp: return ... |
| pruning.c:156:1:156:1 | NoOp: return ... |
| pruning.c:162:1:162:1 | NoOp: return ... |
| pruning.c:169:1:169:1 | NoOp: return ... |
| pruning.c:176:1:176:1 | NoOp: return ... |
| pruning.c:183:1:183:1 | NoOp: return ... |
| pruning.c:190:1:190:1 | NoOp: return ... |
| pruning.c:198:1:198:1 | NoOp: return ... |
| questionexpr.c:4:1:4:1 | NoOp: return ... |
| rethrow_error.cpp:3:13:3:13 | NoOp: return ... |
| rethrow_error.cpp:4:21:4:21 | NoOp: return ... |
| rethrow_error.cpp:22:1:22:1 | NoOp: return ... |
| returnstmt.c:3:5:3:11 | NoOp: return ... |
| revsubscriptexpr.c:5:1:5:1 | NoOp: return ... |
| shortforstmt.cpp:6:1:6:1 | NoOp: return ... |
| shortforstmt.cpp:14:1:14:1 | NoOp: return ... |
| shortforstmt.cpp:24:1:24:1 | NoOp: return ... |
| shortforstmt.cpp:38:1:38:1 | NoOp: return ... |
| statements.cpp:5:1:5:1 | NoOp: return ... |
| statements.cpp:10:1:10:1 | NoOp: return ... |
| statements.cpp:16:5:16:11 | NoOp: return ... |
| statements.cpp:19:1:19:1 | NoOp: return ... |
| statements.cpp:28:1:28:1 | NoOp: return ... |
| statements.cpp:36:1:36:1 | NoOp: return ... |
| statements.cpp:57:1:57:1 | NoOp: return ... |
| statements.h:3:3:3:3 | NoOp: return ... |
| static_init_templates.cpp:2:21:2:23 | ReturnIndirection: ref |
| static_init_templates.cpp:27:1:27:1 | NoOp: return ... |
| static_init_templates.cpp:34:1:34:1 | NoOp: return ... |
| static_init_templates.cpp:119:1:119:1 | NoOp: return ... |
| static_init_templates.cpp:227:30:227:30 | NoOp: return ... |
| static_init_templates.cpp:233:35:233:35 | NoOp: return ... |
| static_init_templates.cpp:236:7:236:7 | NoOp: return ... |
| static_init_templates.cpp:240:7:240:7 | NoOp: return ... |
| static_init_templates.cpp:252:1:252:1 | NoOp: return ... |
| staticlocals.cpp:15:1:15:1 | NoOp: return ... |
| staticlocals.cpp:22:19:22:19 | NoOp: return ... |
| staticlocals.cpp:30:1:30:1 | NoOp: return ... |
| staticmembercallexpr.cpp:10:1:10:1 | NoOp: return ... |
| staticmembercallexpr_args.cpp:11:1:11:1 | NoOp: return ... |
| stmt_expr.cpp:19:1:19:1 | NoOp: return ... |
| stmt_expr.cpp:27:5:27:15 | Store: ... = ... |
| stmt_in_type.cpp:6:1:6:1 | NoOp: return ... |
| stream_it.cpp:9:27:9:27 | ReturnIndirection: t |
| subscriptexpr.c:5:1:5:1 | NoOp: return ... |
| switchstmt.c:8:1:8:1 | NoOp: return ... |
| test.c:8:1:8:1 | NoOp: return ... |
| test.c:16:1:16:1 | NoOp: return ... |
| test.c:24:1:24:1 | NoOp: return ... |
| test.c:31:5:31:11 | NoOp: return ... |
| test.c:47:5:47:11 | NoOp: return ... |
| test.c:54:5:54:11 | NoOp: return ... |
| test.c:68:5:68:11 | NoOp: return ... |
| test.c:75:5:75:11 | NoOp: return ... |
| test.c:89:5:89:11 | NoOp: return ... |
| test.c:94:5:94:11 | NoOp: return ... |
| test.c:99:5:99:11 | NoOp: return ... |
| test.c:104:5:104:11 | NoOp: return ... |
| test.c:110:13:110:19 | NoOp: return ... |
| test.c:112:13:112:19 | NoOp: return ... |
| test.c:117:13:117:19 | NoOp: return ... |
| test.c:119:13:119:19 | NoOp: return ... |
| test.c:127:13:127:19 | NoOp: return ... |
| test.c:129:13:129:19 | NoOp: return ... |
| test.c:134:13:134:19 | NoOp: return ... |
| test.c:142:13:142:19 | NoOp: return ... |
| test.c:144:13:144:19 | NoOp: return ... |
| test.c:149:13:149:19 | NoOp: return ... |
| test.c:151:13:151:19 | NoOp: return ... |
| test.c:159:13:159:19 | NoOp: return ... |
| test.c:161:13:161:19 | NoOp: return ... |
| test.c:166:13:166:19 | NoOp: return ... |
| test.c:174:13:174:19 | NoOp: return ... |
| test.c:176:13:176:19 | NoOp: return ... |
| test.c:181:13:181:19 | NoOp: return ... |
| test.c:183:13:183:19 | NoOp: return ... |
| test.c:191:13:191:19 | NoOp: return ... |
| test.c:193:13:193:19 | NoOp: return ... |
| test.c:198:13:198:19 | NoOp: return ... |
| test.c:206:13:206:19 | NoOp: return ... |
| test.c:208:13:208:19 | NoOp: return ... |
| test.c:213:13:213:19 | NoOp: return ... |
| test.c:235:1:235:1 | NoOp: return ... |
| try_catch.cpp:2:10:2:10 | NoOp: return ... |
| try_catch.cpp:7:8:7:8 | Chi: call to ~exception |
| try_catch.cpp:7:8:7:8 | NoOp: return ... |
| try_catch.cpp:15:5:15:11 | NoOp: return ... |
| unaryopexpr.c:14:1:14:1 | NoOp: return ... |
| vla.c:5:9:5:14 | Uninitialized: definition of matrix |
| vla.c:11:6:11:16 | UnmodeledDefinition: vla_typedef |
| void_bug.h:2:15:2:15 | NoOp: return ... |
| whilestmt.c:6:1:6:1 | NoOp: return ... |
| whilestmt.c:13:1:13:1 | NoOp: return ... |
| whilestmt.c:21:1:21:1 | NoOp: return ... |
| whilestmt.c:30:1:30:1 | NoOp: return ... |
| whilestmt.c:45:1:45:1 | NoOp: return ... |
ambiguousSuccessors
| allocators.cpp:14:5:14:8 | UnmodeledDefinition: main | Goto | 4 | allocators.cpp:16:8:16:10 | VariableAddress: definition of foo |
| allocators.cpp:14:5:14:8 | UnmodeledDefinition: main | Goto | 4 | no_dynamic_init.cpp:10:16:10:16 | VariableAddress: definition of m |

161
cpp/ql/test/library-tests/syntax-zoo/drawDifferent.expected
View File

@@ -1,53 +1,108 @@
| staticlocals__staticlocals_f2_extractor | false | 22465 | 22465 | f2 |
| staticlocals__staticlocals_f2_extractor | false | 22470 | 22470 | declaration |
| staticlocals__staticlocals_f2_extractor | false | 22472 | 22472 | declaration |
| staticlocals__staticlocals_f2_extractor | false | 22474 | 22474 | declaration |
| staticlocals__staticlocals_f2_extractor | false | 22476 | 22476 | declaration |
| staticlocals__staticlocals_f2_extractor | false | 22478 | 22478 | return ... |
| staticlocals__staticlocals_f2_extractor | false | 22480 | 22480 | { ... } |
| staticlocals__staticlocals_f2_extractor | false | 22482 | 22482 | call to C |
| staticlocals__staticlocals_f2_extractor | false | 22484 | 22484 | initializer for c |
| staticlocals__staticlocals_f2_extractor | false | 22486 | 22486 | call to addOne |
| staticlocals__staticlocals_f2_extractor | false | 22490 | 22490 | 2 |
| staticlocals__staticlocals_f2_extractor | false | 22493 | 22493 | initializer for j |
| staticlocals__staticlocals_f2_extractor | false | 22494 | 22494 | call to addOne |
| staticlocals__staticlocals_f2_extractor | false | 22499 | 22499 | 2 |
| staticlocals__staticlocals_f2_extractor | false | 22500 | 22500 | initializer for two |
| staticlocals__staticlocals_f2_extractor | false | 22503 | 22503 | two |
| staticlocals__staticlocals_f2_extractor | false | 22508 | 22508 | initializer for i |
| staticlocals__staticlocals_f2_extractor | true | 22470 | 22500 | |
| staticlocals__staticlocals_f2_extractor | true | 22472 | 22474 | |
| staticlocals__staticlocals_f2_extractor | true | 22474 | 22476 | |
| staticlocals__staticlocals_f2_extractor | true | 22476 | 22478 | |
| staticlocals__staticlocals_f2_extractor | true | 22478 | 22465 | |
| staticlocals__staticlocals_f2_extractor | true | 22480 | 22470 | |
| staticlocals__staticlocals_f2_extractor | true | 22499 | 22472 | |
| staticlocals__staticlocals_f2_extractor | true | 22500 | 22499 | |
| staticlocals__staticlocals_f2_ql | false | 22465 | 22465 | f2 |
| staticlocals__staticlocals_f2_ql | false | 22470 | 22470 | declaration |
| staticlocals__staticlocals_f2_ql | false | 22472 | 22472 | declaration |
| staticlocals__staticlocals_f2_ql | false | 22474 | 22474 | declaration |
| staticlocals__staticlocals_f2_ql | false | 22476 | 22476 | declaration |
| staticlocals__staticlocals_f2_ql | false | 22478 | 22478 | return ... |
| staticlocals__staticlocals_f2_ql | false | 22480 | 22480 | { ... } |
| staticlocals__staticlocals_f2_ql | false | 22482 | 22482 | call to C |
| staticlocals__staticlocals_f2_ql | false | 22484 | 22484 | initializer for c |
| staticlocals__staticlocals_f2_ql | false | 22486 | 22486 | call to addOne |
| staticlocals__staticlocals_f2_ql | false | 22490 | 22490 | 2 |
| staticlocals__staticlocals_f2_ql | false | 22493 | 22493 | initializer for j |
| staticlocals__staticlocals_f2_ql | false | 22494 | 22494 | call to addOne |
| staticlocals__staticlocals_f2_ql | false | 22499 | 22499 | 2 |
| staticlocals__staticlocals_f2_ql | false | 22500 | 22500 | initializer for two |
| staticlocals__staticlocals_f2_ql | false | 22503 | 22503 | two |
| staticlocals__staticlocals_f2_ql | false | 22508 | 22508 | initializer for i |
| staticlocals__staticlocals_f2_ql | true | 22470 | 22500 | |
| staticlocals__staticlocals_f2_ql | true | 22472 | 22474 | |
| staticlocals__staticlocals_f2_ql | true | 22474 | 22476 | |
| staticlocals__staticlocals_f2_ql | true | 22476 | 22478 | |
| staticlocals__staticlocals_f2_ql | true | 22476 | 22484 | |
| staticlocals__staticlocals_f2_ql | true | 22478 | 22465 | |
| staticlocals__staticlocals_f2_ql | true | 22480 | 22470 | |
| staticlocals__staticlocals_f2_ql | true | 22482 | 22478 | |
| staticlocals__staticlocals_f2_ql | true | 22484 | 22482 | |
| staticlocals__staticlocals_f2_ql | true | 22499 | 22472 | |
| staticlocals__staticlocals_f2_ql | true | 22500 | 22499 | |
| pointer_to_member__pmIsConstT_extractor | false | 15733 | 15733 | pmIsConstT |
| pointer_to_member__pmIsConstT_extractor | false | 15741 | 15741 | declaration |
| pointer_to_member__pmIsConstT_extractor | false | 15743 | 15743 | return ... |
| pointer_to_member__pmIsConstT_extractor | false | 15745 | 15745 | { ... } |
| pointer_to_member__pmIsConstT_extractor | false | 15748 | 15748 | {...} |
| pointer_to_member__pmIsConstT_extractor | false | 15753 | 15753 | x1 |
| pointer_to_member__pmIsConstT_extractor | false | 15755 | 15755 | & ... |
| pointer_to_member__pmIsConstT_extractor | false | 15760 | 15760 | f1 |
| pointer_to_member__pmIsConstT_extractor | false | 15762 | 15762 | & ... |
| pointer_to_member__pmIsConstT_extractor | false | 15764 | 15764 | initializer for pms |
| pointer_to_member__pmIsConstT_extractor | true | 15741 | 15743 | |
| pointer_to_member__pmIsConstT_extractor | true | 15743 | 15733 | |
| pointer_to_member__pmIsConstT_extractor | true | 15745 | 15741 | |
| pointer_to_member__pmIsConstT_ql | false | 15733 | 15733 | pmIsConstT |
| pointer_to_member__pmIsConstT_ql | false | 15741 | 15741 | declaration |
| pointer_to_member__pmIsConstT_ql | false | 15743 | 15743 | return ... |
| pointer_to_member__pmIsConstT_ql | false | 15745 | 15745 | { ... } |
| pointer_to_member__pmIsConstT_ql | false | 15748 | 15748 | {...} |
| pointer_to_member__pmIsConstT_ql | false | 15753 | 15753 | x1 |
| pointer_to_member__pmIsConstT_ql | false | 15755 | 15755 | & ... |
| pointer_to_member__pmIsConstT_ql | false | 15760 | 15760 | f1 |
| pointer_to_member__pmIsConstT_ql | false | 15762 | 15762 | & ... |
| pointer_to_member__pmIsConstT_ql | false | 15764 | 15764 | initializer for pms |
| pointer_to_member__pmIsConstT_ql | true | 15741 | 15764 | |
| pointer_to_member__pmIsConstT_ql | true | 15743 | 15733 | |
| pointer_to_member__pmIsConstT_ql | true | 15745 | 15741 | |
| pointer_to_member__pmIsConstT_ql | true | 15748 | 15743 | |
| pointer_to_member__pmIsConstT_ql | true | 15753 | 15755 | |
| pointer_to_member__pmIsConstT_ql | true | 15755 | 15760 | |
| pointer_to_member__pmIsConstT_ql | true | 15760 | 15762 | |
| pointer_to_member__pmIsConstT_ql | true | 15762 | 15748 | |
| pointer_to_member__pmIsConstT_ql | true | 15764 | 15753 | |
| staticlocals__staticlocals_f2_extractor | false | 22550 | 22550 | f2 |
| staticlocals__staticlocals_f2_extractor | false | 22555 | 22555 | declaration |
| staticlocals__staticlocals_f2_extractor | false | 22557 | 22557 | declaration |
| staticlocals__staticlocals_f2_extractor | false | 22559 | 22559 | declaration |
| staticlocals__staticlocals_f2_extractor | false | 22561 | 22561 | declaration |
| staticlocals__staticlocals_f2_extractor | false | 22563 | 22563 | return ... |
| staticlocals__staticlocals_f2_extractor | false | 22565 | 22565 | { ... } |
| staticlocals__staticlocals_f2_extractor | false | 22567 | 22567 | call to C |
| staticlocals__staticlocals_f2_extractor | false | 22569 | 22569 | initializer for c |
| staticlocals__staticlocals_f2_extractor | false | 22571 | 22571 | call to addOne |
| staticlocals__staticlocals_f2_extractor | false | 22575 | 22575 | 2 |
| staticlocals__staticlocals_f2_extractor | false | 22578 | 22578 | initializer for j |
| staticlocals__staticlocals_f2_extractor | false | 22579 | 22579 | call to addOne |
| staticlocals__staticlocals_f2_extractor | false | 22584 | 22584 | 2 |
| staticlocals__staticlocals_f2_extractor | false | 22585 | 22585 | initializer for two |
| staticlocals__staticlocals_f2_extractor | false | 22588 | 22588 | two |
| staticlocals__staticlocals_f2_extractor | false | 22593 | 22593 | initializer for i |
| staticlocals__staticlocals_f2_extractor | true | 22555 | 22585 | |
| staticlocals__staticlocals_f2_extractor | true | 22557 | 22559 | |
| staticlocals__staticlocals_f2_extractor | true | 22559 | 22561 | |
| staticlocals__staticlocals_f2_extractor | true | 22561 | 22563 | |
| staticlocals__staticlocals_f2_extractor | true | 22563 | 22550 | |
| staticlocals__staticlocals_f2_extractor | true | 22565 | 22555 | |
| staticlocals__staticlocals_f2_extractor | true | 22584 | 22557 | |
| staticlocals__staticlocals_f2_extractor | true | 22585 | 22584 | |
| staticlocals__staticlocals_f2_ql | false | 22550 | 22550 | f2 |
| staticlocals__staticlocals_f2_ql | false | 22555 | 22555 | declaration |
| staticlocals__staticlocals_f2_ql | false | 22557 | 22557 | declaration |
| staticlocals__staticlocals_f2_ql | false | 22559 | 22559 | declaration |
| staticlocals__staticlocals_f2_ql | false | 22561 | 22561 | declaration |
| staticlocals__staticlocals_f2_ql | false | 22563 | 22563 | return ... |
| staticlocals__staticlocals_f2_ql | false | 22565 | 22565 | { ... } |
| staticlocals__staticlocals_f2_ql | false | 22567 | 22567 | call to C |
| staticlocals__staticlocals_f2_ql | false | 22569 | 22569 | initializer for c |
| staticlocals__staticlocals_f2_ql | false | 22571 | 22571 | call to addOne |
| staticlocals__staticlocals_f2_ql | false | 22575 | 22575 | 2 |
| staticlocals__staticlocals_f2_ql | false | 22578 | 22578 | initializer for j |
| staticlocals__staticlocals_f2_ql | false | 22579 | 22579 | call to addOne |
| staticlocals__staticlocals_f2_ql | false | 22584 | 22584 | 2 |
| staticlocals__staticlocals_f2_ql | false | 22585 | 22585 | initializer for two |
| staticlocals__staticlocals_f2_ql | false | 22588 | 22588 | two |
| staticlocals__staticlocals_f2_ql | false | 22593 | 22593 | initializer for i |
| staticlocals__staticlocals_f2_ql | true | 22555 | 22585 | |
| staticlocals__staticlocals_f2_ql | true | 22557 | 22559 | |
| staticlocals__staticlocals_f2_ql | true | 22559 | 22561 | |
| staticlocals__staticlocals_f2_ql | true | 22561 | 22563 | |
| staticlocals__staticlocals_f2_ql | true | 22561 | 22569 | |
| staticlocals__staticlocals_f2_ql | true | 22563 | 22550 | |
| staticlocals__staticlocals_f2_ql | true | 22565 | 22555 | |
| staticlocals__staticlocals_f2_ql | true | 22567 | 22563 | |
| staticlocals__staticlocals_f2_ql | true | 22569 | 22567 | |
| staticlocals__staticlocals_f2_ql | true | 22584 | 22557 | |
| staticlocals__staticlocals_f2_ql | true | 22585 | 22584 | |
| staticlocals__staticlocals_f3_extractor | false | 22529 | 22529 | f3 |
| staticlocals__staticlocals_f3_extractor | false | 22532 | 22532 | declaration |
| staticlocals__staticlocals_f3_extractor | false | 22534 | 22534 | return ... |
| staticlocals__staticlocals_f3_extractor | false | 22536 | 22536 | { ... } |
| staticlocals__staticlocals_f3_extractor | false | 22543 | 22543 | value |
| staticlocals__staticlocals_f3_extractor | false | 22545 | 22545 | (int)... |
| staticlocals__staticlocals_f3_extractor | false | 22546 | 22546 | initializer for i |
| staticlocals__staticlocals_f3_extractor | true | 22532 | 22534 | |
| staticlocals__staticlocals_f3_extractor | true | 22534 | 22529 | |
| staticlocals__staticlocals_f3_extractor | true | 22536 | 22532 | |
| staticlocals__staticlocals_f3_ql | false | 22529 | 22529 | f3 |
| staticlocals__staticlocals_f3_ql | false | 22532 | 22532 | declaration |
| staticlocals__staticlocals_f3_ql | false | 22534 | 22534 | return ... |
| staticlocals__staticlocals_f3_ql | false | 22536 | 22536 | { ... } |
| staticlocals__staticlocals_f3_ql | false | 22543 | 22543 | value |
| staticlocals__staticlocals_f3_ql | false | 22545 | 22545 | (int)... |
| staticlocals__staticlocals_f3_ql | false | 22546 | 22546 | initializer for i |
| staticlocals__staticlocals_f3_ql | true | 22532 | 22534 | |
| staticlocals__staticlocals_f3_ql | true | 22532 | 22546 | |
| staticlocals__staticlocals_f3_ql | true | 22534 | 22529 | |
| staticlocals__staticlocals_f3_ql | true | 22536 | 22532 | |
| staticlocals__staticlocals_f3_ql | true | 22543 | 22534 | |
| staticlocals__staticlocals_f3_ql | true | 22546 | 22543 | |

461
cpp/ql/test/library-tests/syntax-zoo/raw_sanity.expected
View File

@@ -23,206 +23,18 @@ missingPhiOperand
missingOperandType
sideEffectWithoutPrimary
instructionWithoutSuccessor
| CPP-309.cpp:8:1:8:1 | NoOp: return ... |
| CPP-309.cpp:12:1:12:1 | NoOp: return ... |
| FunctionTryStmt.cpp:11:5:11:11 | NoOp: return ... |
| VacuousDestructorCall.cpp:2:29:2:29 | InitializeIndirection: y |
| VacuousDestructorCall.cpp:2:29:2:29 | ReturnIndirection: y |
| VacuousDestructorCall.cpp:3:3:3:3 | VariableAddress: x |
| VacuousDestructorCall.cpp:4:3:4:3 | Load: y |
| VacuousDestructorCall.cpp:11:1:11:1 | NoOp: return ... |
| abortingfunctions.cpp:10:1:10:1 | NoOp: return ... |
| abortingfunctions.cpp:17:1:17:1 | NoOp: return ... |
| abortingfunctions.cpp:25:1:25:1 | NoOp: return ... |
| abortingfunctions.cpp:35:1:35:1 | NoOp: return ... |
| abortingfunctions.cpp:42:1:42:1 | NoOp: return ... |
| abortingfunctions.cpp:46:1:46:1 | NoOp: return ... |
| aggregateinitializer.c:4:1:4:1 | NoOp: return ... |
| allocators.cpp:3:39:3:39 | NoOp: return ... |
| allocators.cpp:4:25:4:25 | NoOp: return ... |
| allocators.cpp:8:37:8:40 | ReturnIndirection: self |
| array_delete.cpp:7:1:7:1 | NoOp: return ... |
| assignexpr.cpp:11:1:11:1 | NoOp: return ... |
| assume0.cpp:12:1:12:1 | NoOp: return ... |
| assume0.cpp:20:1:20:1 | NoOp: return ... |
| bad_asts.cpp:17:3:17:3 | NoOp: return ... |
| bad_asts.cpp:23:5:23:5 | NoOp: return ... |
| bad_asts.cpp:26:41:26:41 | ReturnIndirection: a |
| break_labels.c:13:12:13:17 | Store: result |
| break_labels.c:29:1:29:1 | NoOp: return ... |
| builtin.cpp:11:1:11:1 | NoOp: return ... |
| builtin.cpp:16:1:16:1 | NoOp: return ... |
| condition_decl_int.cpp:5:1:5:1 | NoOp: return ... |
| condition_decls.cpp:4:3:4:3 | NoOp: return ... |
| condition_decls.cpp:7:3:7:3 | NoOp: return ... |
| condition_decls.cpp:16:19:16:20 | CallSideEffect: call to BoxedInt |
| condition_decls.cpp:23:1:23:1 | NoOp: return ... |
| condition_decls.cpp:26:19:26:20 | IndirectMayWriteSideEffect: bi |
| condition_decls.cpp:26:23:26:24 | CallSideEffect: call to BoxedInt |
| condition_decls.cpp:38:1:38:1 | NoOp: return ... |
| condition_decls.cpp:41:22:41:23 | CallSideEffect: call to BoxedInt |
| condition_decls.cpp:45:1:45:1 | NoOp: return ... |
| condition_decls.cpp:48:52:48:53 | CallSideEffect: call to BoxedInt |
| condition_decls.cpp:52:1:52:1 | NoOp: return ... |
| conditional_destructors.cpp:7:9:7:9 | NoOp: return ... |
| conditional_destructors.cpp:19:9:19:9 | NoOp: return ... |
| conditional_destructors.cpp:22:9:22:9 | NoOp: return ... |
| conditional_destructors.cpp:36:1:36:1 | NoOp: return ... |
| conditional_destructors.cpp:45:1:45:1 | NoOp: return ... |
| constmemberaccess.cpp:10:1:10:1 | NoOp: return ... |
| constructorinitializer.cpp:9:1:9:1 | NoOp: return ... |
| cpp11.cpp:9:3:9:3 | NoOp: return ... |
| cpp11.cpp:52:1:52:1 | NoOp: return ... |
| cpp11.cpp:61:1:61:1 | NoOp: return ... |
| cpp11.cpp:66:3:66:3 | NoOp: return ... |
| cpp11.cpp:78:3:78:3 | NoOp: return ... |
| cpp11.cpp:82:55:82:55 | NoOp: return ... |
| cpp11.cpp:83:3:83:3 | NoOp: return ... |
| cpp11.cpp:89:3:89:3 | NoOp: return ... |
| cpp11.cpp:104:3:104:3 | NoOp: return ... |
| cpp11.cpp:115:3:115:3 | NoOp: return ... |
| cpp11.cpp:136:3:136:3 | NoOp: return ... |
| cpp11.cpp:166:14:166:14 | NoOp: return ... |
| cpp11.cpp:171:3:171:3 | NoOp: return ... |
| cpp17.cpp:15:11:15:21 | Convert: (void *)... |
| cpp17.cpp:18:42:18:42 | ReturnIndirection: p |
| defconstructornewexpr.cpp:5:3:5:9 | NoOp: return ... |
| defdestructordeleteexpr.cpp:6:1:6:1 | NoOp: return ... |
| deleteexpr.cpp:9:1:9:1 | NoOp: return ... |
| destructors.cpp:29:5:29:11 | NoOp: return ... |
| destructors.cpp:31:1:31:1 | NoOp: return ... |
| destructors.cpp:38:1:38:1 | NoOp: return ... |
| dostmt.c:6:1:6:1 | NoOp: return ... |
| dostmt.c:14:1:14:1 | NoOp: return ... |
| dostmt.c:23:1:23:1 | NoOp: return ... |
| dostmt.c:30:1:30:1 | NoOp: return ... |
| dostmt.c:38:1:38:1 | NoOp: return ... |
| duff2.c:14:1:14:1 | NoOp: return ... |
| duff2.c:22:1:22:1 | NoOp: return ... |
| duff.c:15:1:15:1 | NoOp: return ... |
| dummyblock.c:4:1:4:1 | NoOp: return ... |
| ellipsisexceptionhandler.cpp:12:1:12:1 | NoOp: return ... |
| ellipsisexceptionhandler.cpp:19:1:19:1 | NoOp: return ... |
| emptyblock.c:5:1:5:1 | NoOp: return ... |
| enum.c:6:9:6:9 | Store: (int)... |
| exceptionhandler.cpp:24:1:24:1 | NoOp: return ... |
| exprstmt.c:4:1:4:1 | NoOp: return ... |
| fieldaccess.cpp:10:1:10:1 | NoOp: return ... |
| file://:0:0:0:0 | CompareNE: (bool)... |
| file://:0:0:0:0 | CompareNE: (bool)... |
| file://:0:0:0:0 | CompareNE: (bool)... |
| file://:0:0:0:0 | ReturnIndirection: p#0 |
| file://:0:0:0:0 | ReturnIndirection: p#0 |
| file://:0:0:0:0 | ReturnIndirection: p#0 |
| file://:0:0:0:0 | ReturnIndirection: p#2 |
| forstmt.cpp:6:1:6:1 | NoOp: return ... |
| forstmt.cpp:11:1:11:1 | NoOp: return ... |
| forstmt.cpp:21:1:21:1 | NoOp: return ... |
| gotostmt.c:5:1:5:1 | NoOp: return ... |
| ifelsestmt.c:9:1:9:1 | NoOp: return ... |
| ifelsestmt.c:17:1:17:1 | NoOp: return ... |
| ifelsestmt.c:27:1:27:1 | NoOp: return ... |
| ifelsestmt.c:35:1:35:1 | NoOp: return ... |
| ifelsestmt.c:45:1:45:1 | NoOp: return ... |
| ifstmt.c:6:1:6:1 | NoOp: return ... |
| ifstmt.c:12:1:12:1 | NoOp: return ... |
| ifstmt.c:19:1:19:1 | NoOp: return ... |
| ifstmt.c:25:1:25:1 | NoOp: return ... |
| ifstmt.c:32:1:32:1 | NoOp: return ... |
| initializer.c:4:1:4:1 | NoOp: return ... |
| ir.cpp:41:1:41:1 | NoOp: return ... |
| ir.cpp:48:1:48:1 | NoOp: return ... |
| ir.cpp:85:1:85:1 | NoOp: return ... |
| ir.cpp:96:1:96:1 | NoOp: return ... |
| ir.cpp:105:1:105:1 | NoOp: return ... |
| ir.cpp:112:1:112:1 | NoOp: return ... |
| ir.cpp:131:1:131:1 | NoOp: return ... |
| ir.cpp:142:1:142:1 | NoOp: return ... |
| ir.cpp:151:1:151:1 | NoOp: return ... |
| ir.cpp:153:22:153:22 | ReturnIndirection: p |
| ir.cpp:171:23:171:23 | ReturnIndirection: p |
| ir.cpp:191:1:191:1 | NoOp: return ... |
| ir.cpp:193:34:193:34 | ReturnIndirection: q |
| ir.cpp:204:26:204:26 | ReturnIndirection: p |
| ir.cpp:228:1:228:1 | NoOp: return ... |
| ir.cpp:233:1:233:1 | NoOp: return ... |
| ir.cpp:251:1:251:1 | NoOp: return ... |
| ir.cpp:257:1:257:1 | NoOp: return ... |
| ir.cpp:263:1:263:1 | NoOp: return ... |
| ir.cpp:283:1:283:1 | NoOp: return ... |
| ir.cpp:296:1:296:1 | NoOp: return ... |
| ir.cpp:309:1:309:1 | NoOp: return ... |
| ir.cpp:315:1:315:1 | NoOp: return ... |
| ir.cpp:323:1:323:1 | NoOp: return ... |
| ir.cpp:331:1:331:1 | NoOp: return ... |
| ir.cpp:339:1:339:1 | NoOp: return ... |
| ir.cpp:358:1:358:1 | NoOp: return ... |
| ir.cpp:367:1:367:1 | NoOp: return ... |
| ir.cpp:374:1:374:1 | NoOp: return ... |
| ir.cpp:410:1:410:1 | NoOp: return ... |
| ir.cpp:431:1:431:1 | NoOp: return ... |
| ir.cpp:445:1:445:1 | NoOp: return ... |
| ir.cpp:459:1:459:1 | NoOp: return ... |
| ir.cpp:473:1:473:1 | NoOp: return ... |
| ir.cpp:480:1:480:1 | NoOp: return ... |
| ir.cpp:484:1:484:1 | NoOp: return ... |
| ir.cpp:490:1:490:1 | NoOp: return ... |
| ir.cpp:494:1:494:1 | NoOp: return ... |
| ir.cpp:501:1:501:1 | NoOp: return ... |
| ir.cpp:510:1:510:1 | NoOp: return ... |
| ir.cpp:517:1:517:1 | NoOp: return ... |
| ir.cpp:523:1:523:1 | NoOp: return ... |
| ir.cpp:533:1:533:1 | NoOp: return ... |
| ir.cpp:537:9:537:15 | NoOp: return ... |
| ir.cpp:541:1:541:1 | NoOp: return ... |
| ir.cpp:580:1:580:1 | NoOp: return ... |
| ir.cpp:586:1:586:1 | NoOp: return ... |
| ir.cpp:595:1:595:1 | NoOp: return ... |
| ir.cpp:620:1:620:1 | NoOp: return ... |
| ir.cpp:622:37:622:37 | ReturnIndirection: p |
| ir.cpp:650:5:650:5 | NoOp: return ... |
| ir.cpp:656:5:656:5 | NoOp: return ... |
| ir.cpp:664:5:664:5 | NoOp: return ... |
| ir.cpp:689:1:689:1 | NoOp: return ... |
| ir.cpp:695:1:695:1 | NoOp: return ... |
| ir.cpp:701:1:701:1 | NoOp: return ... |
| ir.cpp:743:1:743:1 | NoOp: return ... |
| ir.cpp:749:3:749:3 | NoOp: return ... |
| ir.cpp:751:3:751:3 | CallSideEffect: call to ~String |
| ir.cpp:758:3:758:3 | NoOp: return ... |
| ir.cpp:760:3:760:3 | CallSideEffect: call to ~Base |
| ir.cpp:767:3:767:3 | NoOp: return ... |
| ir.cpp:769:3:769:3 | CallSideEffect: call to ~Middle |
| ir.cpp:776:3:776:3 | NoOp: return ... |
| ir.cpp:778:3:778:3 | CallSideEffect: call to ~Base |
| ir.cpp:785:3:785:3 | NoOp: return ... |
| ir.cpp:787:3:787:3 | CallSideEffect: call to ~Base |
| ir.cpp:794:3:794:3 | NoOp: return ... |
| ir.cpp:796:3:796:3 | CallSideEffect: call to ~Base |
| ir.cpp:840:1:840:1 | NoOp: return ... |
| ir.cpp:842:8:842:8 | NoOp: return ... |
| ir.cpp:846:8:846:8 | CallSideEffect: call to ~PolymorphicBase |
| ir.cpp:846:8:846:8 | NoOp: return ... |
| ir.cpp:865:1:865:1 | NoOp: return ... |
| ir.cpp:869:1:869:1 | NoOp: return ... |
| ir.cpp:881:1:881:1 | NoOp: return ... |
| ir.cpp:883:47:883:47 | ReturnIndirection: p |
| ir.cpp:898:1:898:1 | NoOp: return ... |
| ir.cpp:902:1:902:1 | NoOp: return ... |
| ir.cpp:907:1:907:1 | NoOp: return ... |
| ir.cpp:948:1:948:1 | NoOp: return ... |
| ir.cpp:959:1:959:1 | NoOp: return ... |
| landexpr.c:6:1:6:1 | NoOp: return ... |
| lorexpr.c:6:1:6:1 | NoOp: return ... |
| ltrbinopexpr.c:43:1:43:1 | NoOp: return ... |
| membercallexpr.cpp:10:1:10:1 | NoOp: return ... |
| membercallexpr_args.cpp:11:1:11:1 | NoOp: return ... |
| misc.c:89:1:89:1 | NoOp: return ... |
| misc.c:91:54:91:55 | ReturnIndirection: sp |
| misc.c:142:1:142:1 | NoOp: return ... |
| misc.c:150:1:150:1 | NoOp: return ... |
| misc.c:161:1:161:1 | NoOp: return ... |
| misc.c:166:1:166:1 | NoOp: return ... |
| misc.c:171:10:171:13 | Uninitialized: definition of str2 |
| misc.c:171:15:171:31 | Add: ... + ... |
| misc.c:173:14:173:26 | Mul: ... * ... |
@@ -230,10 +42,6 @@ instructionWithoutSuccessor
| misc.c:174:17:174:22 | CallSideEffect: call to getInt |
| misc.c:174:30:174:35 | CallSideEffect: call to getInt |
| misc.c:174:55:174:60 | Store: (char ****)... |
| misc.c:175:1:175:1 | NoOp: return ... |
| misc.c:181:1:181:1 | NoOp: return ... |
| misc.c:184:5:184:11 | NoOp: return ... |
| misc.c:197:23:197:25 | ReturnIndirection: fmt |
| misc.c:219:47:219:48 | InitializeIndirection: sp |
| misc.c:221:10:221:10 | Store: 1 |
| misc.c:222:10:222:10 | Store: 2 |
@@ -245,104 +53,20 @@ instructionWithoutSuccessor
| ms_try_except.cpp:17:13:17:17 | Store: ... = ... |
| ms_try_except.cpp:19:17:19:21 | Sub: ... - ... |
| ms_try_except.cpp:20:9:20:13 | Store: ... = ... |
| ms_try_except.cpp:23:1:23:1 | NoOp: return ... |
| ms_try_mix.cpp:11:12:11:15 | CallSideEffect: call to C |
| ms_try_mix.cpp:16:13:16:19 | ThrowValue: throw ... |
| ms_try_mix.cpp:18:16:18:19 | CallSideEffect: call to C |
| ms_try_mix.cpp:20:15:20:39 | Constant: 1 |
| ms_try_mix.cpp:21:16:21:19 | CallSideEffect: call to C |
| ms_try_mix.cpp:25:1:25:1 | NoOp: return ... |
| ms_try_mix.cpp:28:12:28:15 | CallSideEffect: call to C |
| ms_try_mix.cpp:33:13:33:19 | ThrowValue: throw ... |
| ms_try_mix.cpp:35:16:35:19 | CallSideEffect: call to C |
| ms_try_mix.cpp:38:16:38:19 | CallSideEffect: call to C |
| ms_try_mix.cpp:42:1:42:1 | NoOp: return ... |
| ms_try_mix.cpp:48:10:48:13 | CallSideEffect: call to C |
| ms_try_mix.cpp:51:5:51:11 | ThrowValue: throw ... |
| ms_try_mix.cpp:53:13:54:3 | NoOp: { ... } |
| ms_try_mix.cpp:55:1:55:1 | NoOp: return ... |
| newexpr.cpp:9:1:9:1 | NoOp: return ... |
| no_dynamic_init.cpp:6:3:6:3 | NoOp: return ... |
| nodefaultswitchstmt.c:7:1:7:1 | NoOp: return ... |
| nonmembercallexpr.c:1:12:1:12 | NoOp: return ... |
| nonmembercallexpr.c:6:1:6:1 | NoOp: return ... |
| nonmemberfp2callexpr.c:6:1:6:1 | NoOp: return ... |
| nonmemberfpcallexpr.c:5:1:5:1 | NoOp: return ... |
| ops.cpp:14:29:14:29 | NoOp: return ... |
| ops.cpp:15:30:15:30 | NoOp: return ... |
| ops.cpp:28:1:28:1 | NoOp: return ... |
| parameterinitializer.cpp:4:12:4:12 | Store: 5 |
| parameterinitializer.cpp:9:1:9:1 | NoOp: return ... |
| parameterinitializer.cpp:13:18:13:18 | NoOp: return ... |
| parameterinitializer.cpp:15:28:15:28 | NoOp: return ... |
| pmcallexpr.cpp:10:1:10:1 | NoOp: return ... |
| pointer_to_member.cpp:36:11:36:30 | FieldAddress: {...} |
| pointer_to_member.cpp:36:11:36:30 | FieldAddress: {...} |
| pointer_to_member.cpp:37:1:37:1 | NoOp: return ... |
| pruning.c:6:9:6:15 | NoOp: return ... |
| pruning.c:10:1:10:1 | NoOp: return ... |
| pruning.c:14:9:14:15 | NoOp: return ... |
| pruning.c:18:1:18:1 | NoOp: return ... |
| pruning.c:22:9:22:15 | NoOp: return ... |
| pruning.c:26:1:26:1 | NoOp: return ... |
| pruning.c:30:9:30:15 | NoOp: return ... |
| pruning.c:34:1:34:1 | NoOp: return ... |
| pruning.c:38:9:38:15 | NoOp: return ... |
| pruning.c:42:1:42:1 | NoOp: return ... |
| pruning.c:46:9:46:15 | NoOp: return ... |
| pruning.c:50:1:50:1 | NoOp: return ... |
| pruning.c:54:9:54:15 | NoOp: return ... |
| pruning.c:58:1:58:1 | NoOp: return ... |
| pruning.c:62:9:62:15 | NoOp: return ... |
| pruning.c:66:1:66:1 | NoOp: return ... |
| pruning.c:71:9:71:15 | NoOp: return ... |
| pruning.c:75:1:75:1 | NoOp: return ... |
| pruning.c:80:9:80:15 | NoOp: return ... |
| pruning.c:84:1:84:1 | NoOp: return ... |
| pruning.c:89:9:89:15 | NoOp: return ... |
| pruning.c:93:1:93:1 | NoOp: return ... |
| pruning.c:98:9:98:15 | NoOp: return ... |
| pruning.c:102:1:102:1 | NoOp: return ... |
| pruning.c:107:9:107:15 | NoOp: return ... |
| pruning.c:111:1:111:1 | NoOp: return ... |
| pruning.c:116:9:116:15 | NoOp: return ... |
| pruning.c:120:1:120:1 | NoOp: return ... |
| pruning.c:125:9:125:15 | NoOp: return ... |
| pruning.c:129:1:129:1 | NoOp: return ... |
| pruning.c:134:9:134:15 | NoOp: return ... |
| pruning.c:138:1:138:1 | NoOp: return ... |
| pruning.c:144:1:144:1 | NoOp: return ... |
| pruning.c:150:1:150:1 | NoOp: return ... |
| pruning.c:156:1:156:1 | NoOp: return ... |
| pruning.c:162:1:162:1 | NoOp: return ... |
| pruning.c:169:1:169:1 | NoOp: return ... |
| pruning.c:176:1:176:1 | NoOp: return ... |
| pruning.c:183:1:183:1 | NoOp: return ... |
| pruning.c:190:1:190:1 | NoOp: return ... |
| pruning.c:198:1:198:1 | NoOp: return ... |
| questionexpr.c:4:1:4:1 | NoOp: return ... |
| rethrow_error.cpp:3:13:3:13 | NoOp: return ... |
| rethrow_error.cpp:4:21:4:21 | NoOp: return ... |
| rethrow_error.cpp:22:1:22:1 | NoOp: return ... |
| returnstmt.c:3:5:3:11 | NoOp: return ... |
| returnstmt.c:4:5:4:5 | NoOp: ; |
| revsubscriptexpr.c:5:1:5:1 | NoOp: return ... |
| shortforstmt.cpp:6:1:6:1 | NoOp: return ... |
| shortforstmt.cpp:14:1:14:1 | NoOp: return ... |
| shortforstmt.cpp:24:1:24:1 | NoOp: return ... |
| shortforstmt.cpp:31:1:31:1 | NoOp: return ... |
| shortforstmt.cpp:38:1:38:1 | NoOp: return ... |
| statements.cpp:5:1:5:1 | NoOp: return ... |
| statements.cpp:10:1:10:1 | NoOp: return ... |
| statements.cpp:16:5:16:11 | NoOp: return ... |
| statements.cpp:19:1:19:1 | NoOp: return ... |
| statements.cpp:28:1:28:1 | NoOp: return ... |
| statements.cpp:36:1:36:1 | NoOp: return ... |
| statements.cpp:57:1:57:1 | NoOp: return ... |
| statements.h:3:3:3:3 | NoOp: return ... |
| static_init_templates.cpp:2:21:2:23 | ReturnIndirection: ref |
| static_init_templates.cpp:27:1:27:1 | NoOp: return ... |
| static_init_templates.cpp:34:1:34:1 | NoOp: return ... |
| static_init_templates.cpp:80:27:80:36 | Convert: (void *)... |
| static_init_templates.cpp:80:27:80:36 | Convert: (void *)... |
| static_init_templates.cpp:89:27:89:36 | Convert: (void *)... |
@@ -351,78 +75,9 @@ instructionWithoutSuccessor
| static_init_templates.cpp:97:27:97:36 | Convert: (void *)... |
| static_init_templates.cpp:105:27:105:27 | Constant: (void *)... |
| static_init_templates.cpp:105:27:105:27 | Constant: (void *)... |
| static_init_templates.cpp:119:1:119:1 | NoOp: return ... |
| static_init_templates.cpp:227:30:227:30 | NoOp: return ... |
| static_init_templates.cpp:233:35:233:35 | NoOp: return ... |
| static_init_templates.cpp:236:7:236:7 | NoOp: return ... |
| static_init_templates.cpp:240:7:240:7 | NoOp: return ... |
| static_init_templates.cpp:252:1:252:1 | NoOp: return ... |
| staticlocals.cpp:15:1:15:1 | NoOp: return ... |
| staticlocals.cpp:22:19:22:19 | NoOp: return ... |
| staticlocals.cpp:30:1:30:1 | NoOp: return ... |
| staticmembercallexpr.cpp:10:1:10:1 | NoOp: return ... |
| staticmembercallexpr_args.cpp:11:1:11:1 | NoOp: return ... |
| stmt_expr.cpp:19:1:19:1 | NoOp: return ... |
| stmt_expr.cpp:27:5:27:15 | Store: ... = ... |
| stmt_expr.cpp:29:11:32:11 | CopyValue: (statement expression) |
| stmt_in_type.cpp:5:53:5:53 | Constant: 1 |
| stmt_in_type.cpp:6:1:6:1 | NoOp: return ... |
| stream_it.cpp:9:27:9:27 | ReturnIndirection: t |
| subscriptexpr.c:5:1:5:1 | NoOp: return ... |
| switchstmt.c:8:1:8:1 | NoOp: return ... |
| test.c:8:1:8:1 | NoOp: return ... |
| test.c:16:1:16:1 | NoOp: return ... |
| test.c:24:1:24:1 | NoOp: return ... |
| test.c:31:5:31:11 | NoOp: return ... |
| test.c:39:5:39:11 | NoOp: return ... |
| test.c:47:5:47:11 | NoOp: return ... |
| test.c:54:5:54:11 | NoOp: return ... |
| test.c:61:5:61:11 | NoOp: return ... |
| test.c:68:5:68:11 | NoOp: return ... |
| test.c:75:5:75:11 | NoOp: return ... |
| test.c:82:5:82:11 | NoOp: return ... |
| test.c:89:5:89:11 | NoOp: return ... |
| test.c:94:5:94:11 | NoOp: return ... |
| test.c:99:5:99:11 | NoOp: return ... |
| test.c:104:5:104:11 | NoOp: return ... |
| test.c:110:13:110:19 | NoOp: return ... |
| test.c:112:13:112:19 | NoOp: return ... |
| test.c:117:13:117:19 | NoOp: return ... |
| test.c:119:13:119:19 | NoOp: return ... |
| test.c:121:5:121:11 | NoOp: return ... |
| test.c:127:13:127:19 | NoOp: return ... |
| test.c:129:13:129:19 | NoOp: return ... |
| test.c:134:13:134:19 | NoOp: return ... |
| test.c:136:5:136:11 | NoOp: return ... |
| test.c:142:13:142:19 | NoOp: return ... |
| test.c:144:13:144:19 | NoOp: return ... |
| test.c:149:13:149:19 | NoOp: return ... |
| test.c:151:13:151:19 | NoOp: return ... |
| test.c:153:5:153:11 | NoOp: return ... |
| test.c:159:13:159:19 | NoOp: return ... |
| test.c:161:13:161:19 | NoOp: return ... |
| test.c:166:13:166:19 | NoOp: return ... |
| test.c:168:5:168:11 | NoOp: return ... |
| test.c:174:13:174:19 | NoOp: return ... |
| test.c:176:13:176:19 | NoOp: return ... |
| test.c:181:13:181:19 | NoOp: return ... |
| test.c:183:13:183:19 | NoOp: return ... |
| test.c:185:5:185:11 | NoOp: return ... |
| test.c:191:13:191:19 | NoOp: return ... |
| test.c:193:13:193:19 | NoOp: return ... |
| test.c:198:13:198:19 | NoOp: return ... |
| test.c:200:5:200:11 | NoOp: return ... |
| test.c:206:13:206:19 | NoOp: return ... |
| test.c:208:13:208:19 | NoOp: return ... |
| test.c:213:13:213:19 | NoOp: return ... |
| test.c:215:5:215:11 | NoOp: return ... |
| test.c:235:1:235:1 | NoOp: return ... |
| try_catch.cpp:2:10:2:10 | NoOp: return ... |
| try_catch.cpp:7:8:7:8 | CallSideEffect: call to ~exception |
| try_catch.cpp:7:8:7:8 | NoOp: return ... |
| try_catch.cpp:15:5:15:11 | NoOp: return ... |
| try_catch.cpp:25:1:25:1 | NoOp: return ... |
| unaryopexpr.c:14:1:14:1 | NoOp: return ... |
| vla.c:5:9:5:14 | Uninitialized: definition of matrix |
| vla.c:5:16:5:19 | Load: argc |
| vla.c:5:22:5:25 | CallReadSideEffect: call to atoi |
@@ -434,14 +89,6 @@ instructionWithoutSuccessor
| vla.c:14:53:14:65 | Mul: ... * ... |
| vla.c:14:74:14:79 | CallSideEffect: call to getInt |
| vla.c:14:92:14:94 | Store: (char *)... |
| vla.c:15:1:15:1 | NoOp: return ... |
| void_bug.h:2:15:2:15 | NoOp: return ... |
| whilestmt.c:6:1:6:1 | NoOp: return ... |
| whilestmt.c:13:1:13:1 | NoOp: return ... |
| whilestmt.c:21:1:21:1 | NoOp: return ... |
| whilestmt.c:30:1:30:1 | NoOp: return ... |
| whilestmt.c:37:1:37:1 | NoOp: return ... |
| whilestmt.c:45:1:45:1 | NoOp: return ... |
ambiguousSuccessors
| allocators.cpp:14:5:14:8 | UnmodeledDefinition: main | Goto | 4 | allocators.cpp:16:8:16:10 | VariableAddress: definition of foo |
| allocators.cpp:14:5:14:8 | UnmodeledDefinition: main | Goto | 4 | no_dynamic_init.cpp:10:16:10:16 | VariableAddress: definition of m |
@@ -963,18 +610,9 @@ lostReachability
| range_analysis.c:371:37:371:39 | Constant: 500 |
backEdgeCountMismatch
useNotDominatedByDefinition
| FunctionTryStmt.cpp:1:5:1:7 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | FunctionTryStmt.cpp:1:5:1:7 | IR: foo | int foo() |
| VacuousDestructorCall.cpp:2:29:2:29 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | VacuousDestructorCall.cpp:2:6:2:6 | IR: CallDestructor | void CallDestructor<int>(int, int*) |
| VacuousDestructorCall.cpp:2:29:2:29 | Operand | Operand 'Operand' is not dominated by its definition in function '$@'. | VacuousDestructorCall.cpp:2:6:2:6 | IR: CallDestructor | void CallDestructor<int>(int, int*) |
| VacuousDestructorCall.cpp:4:3:4:3 | Load | Operand 'Load' is not dominated by its definition in function '$@'. | VacuousDestructorCall.cpp:2:6:2:6 | IR: CallDestructor | void CallDestructor<int>(int, int*) |
| allocators.cpp:7:16:7:27 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | allocators.cpp:7:16:7:27 | IR: operator new | void* Foo::operator new(unsigned long, int, int) |
| allocators.cpp:14:5:14:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | allocators.cpp:14:5:14:8 | IR: main | int main() |
| allocators.cpp:14:5:14:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | no_dynamic_init.cpp:9:5:9:8 | IR: main | int main() |
| allocators.cpp:14:5:14:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | parameterinitializer.cpp:18:5:18:8 | IR: main | int main() |
| allocators.cpp:14:5:14:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | stream_it.cpp:16:5:16:8 | IR: main | int main() |
| builtin.c:5:5:5:11 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | builtin.c:5:5:5:11 | IR: builtin | int builtin(int, int) |
| builtin.cpp:4:4:4:4 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | builtin.cpp:4:4:4:4 | IR: addressof | int* addressof<int>(int&) |
| condition_decls.cpp:8:3:8:14 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | condition_decls.cpp:8:3:8:14 | IR: operator int | int BoxedInt::operator int() |
| condition_decls.cpp:16:15:16:15 | Operand | Operand 'Operand' is not dominated by its definition in function '$@'. | condition_decls.cpp:15:6:15:17 | IR: if_decl_bind | void if_decl_bind(int) |
| condition_decls.cpp:16:15:16:16 | Load | Operand 'Load' is not dominated by its definition in function '$@'. | condition_decls.cpp:15:6:15:17 | IR: if_decl_bind | void if_decl_bind(int) |
| condition_decls.cpp:16:15:16:16 | Operand | Operand 'Operand' is not dominated by its definition in function '$@'. | condition_decls.cpp:15:6:15:17 | IR: if_decl_bind | void if_decl_bind(int) |
@@ -1002,38 +640,8 @@ useNotDominatedByDefinition
| condition_decls.cpp:48:56:48:61 | Load | Operand 'Load' is not dominated by its definition in function '$@'. | condition_decls.cpp:47:6:47:18 | IR: for_decl_bind | void for_decl_bind(int) |
| condition_decls.cpp:49:5:49:7 | Load | Operand 'Load' is not dominated by its definition in function '$@'. | condition_decls.cpp:47:6:47:18 | IR: for_decl_bind | void for_decl_bind(int) |
| condition_decls.cpp:51:3:51:5 | Load | Operand 'Load' is not dominated by its definition in function '$@'. | condition_decls.cpp:47:6:47:18 | IR: for_decl_bind | void for_decl_bind(int) |
| conditional_destructors.cpp:9:10:9:19 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | conditional_destructors.cpp:9:10:9:19 | IR: operator== | bool C1::operator==(C1 const&) const |
| conditional_destructors.cpp:24:10:24:19 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | conditional_destructors.cpp:24:10:24:19 | IR: operator== | bool C2::operator==(C2 const&) const |
| cpp11.cpp:27:7:27:14 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | cpp11.cpp:27:7:27:14 | IR: getFirst | int range_based_for_11::getFirst() |
| cpp11.cpp:28:21:28:21 | Operand | Operand 'Operand' is not dominated by its definition in function '$@'. | cpp11.cpp:27:7:27:14 | IR: getFirst | int range_based_for_11::getFirst() |
| cpp11.cpp:65:23:65:23 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | cpp11.cpp:65:23:65:23 | IR: operator() | int (void lambda::simple(int))::(lambda [] type at line 65, col. 20)::operator()() const |
| cpp11.cpp:106:7:106:9 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | cpp11.cpp:106:7:106:9 | IR: ret | int synthetic_dtor_calls::ret() |
| cpp11.cpp:141:7:141:7 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | cpp11.cpp:141:7:141:7 | IR: g | int synthetic_dtor_calls::g(int) |
| destructors.cpp:6:5:6:20 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | destructors.cpp:6:5:6:20 | IR: destructors_main | int destructors_main(HasDtor) |
| destructors.cpp:49:7:49:7 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | destructors.cpp:49:7:49:7 | IR: f | int cond_destruct::f(int) |
| file://:0:0:0:0 | Operand | Operand 'Operand' is not dominated by its definition in function '$@'. | cpp11.cpp:27:7:27:14 | IR: getFirst | int range_based_for_11::getFirst() |
| ir.cpp:235:5:235:14 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:235:5:235:14 | IR: Parameters | int Parameters(int, int) |
| ir.cpp:341:5:341:15 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:341:5:341:15 | IR: Dereference | int Dereference(int*) |
| ir.cpp:348:6:348:14 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:348:6:348:14 | IR: AddressOf | int* AddressOf() |
| ir.cpp:376:5:376:11 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:376:5:376:11 | IR: CallAdd | int CallAdd(int, int) |
| ir.cpp:380:5:380:9 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:380:5:380:9 | IR: Comma | int Comma(int, int) |
| ir.cpp:422:7:422:18 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:422:7:422:18 | IR: ReturnStruct | Point ReturnStruct(Point) |
| ir.cpp:543:5:543:20 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:543:5:543:20 | IR: EarlyReturnValue | int EarlyReturnValue(int, int) |
| ir.cpp:551:5:551:18 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:551:5:551:18 | IR: CallViaFuncPtr | int CallViaFuncPtr(int(*)(int)) |
| ir.cpp:560:5:560:14 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:560:5:560:14 | IR: EnumSwitch | int EnumSwitch(E) |
| ir.cpp:630:16:630:35 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:630:16:630:35 | IR: StaticMemberFunction | int C::StaticMemberFunction(int) |
| ir.cpp:634:9:634:30 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:634:9:634:30 | IR: InstanceMemberFunction | int C::InstanceMemberFunction(int) |
| ir.cpp:638:17:638:37 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:638:17:638:37 | IR: VirtualMemberFunction | int C::VirtualMemberFunction(int) |
| ir.cpp:675:5:675:18 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:675:5:675:18 | IR: DerefReference | int DerefReference(int&) |
| ir.cpp:679:6:679:18 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:679:6:679:18 | IR: TakeReference | int& TakeReference() |
| ir.cpp:704:3:704:3 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:704:3:704:3 | IR: min | int min<int>(int, int) |
| ir.cpp:708:5:708:11 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:708:5:708:11 | IR: CallMin | int CallMin(int, int) |
| ir.cpp:715:12:715:12 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:715:12:715:12 | IR: Func | long Outer<long>::Func<void*, char>(void*, char) |
| ir.cpp:720:8:720:29 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:720:8:720:29 | IR: CallNestedTemplateFunc | double CallNestedTemplateFunc() |
| ir.cpp:745:8:745:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:745:8:745:8 | IR: operator= | Base& Base::operator=(Base const&) |
| ir.cpp:754:8:754:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:754:8:754:8 | IR: operator= | Middle& Middle::operator=(Middle const&) |
| ir.cpp:763:8:763:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:763:8:763:8 | IR: operator= | Derived& Derived::operator=(Derived const&) |
| ir.cpp:961:5:961:18 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:961:5:961:18 | IR: designatedInit | int designatedInit() |
| misc.c:68:16:68:16 | Load | Operand 'Load' is not dominated by its definition in function '$@'. | misc.c:16:6:16:10 | IR: misc1 | void misc1(int, int) |
| misc.c:70:13:70:15 | Load | Operand 'Load' is not dominated by its definition in function '$@'. | misc.c:16:6:16:10 | IR: misc1 | void misc1(int, int) |
| misc.c:72:11:72:11 | Load | Operand 'Load' is not dominated by its definition in function '$@'. | misc.c:16:6:16:10 | IR: misc1 | void misc1(int, int) |
@@ -1054,16 +662,10 @@ useNotDominatedByDefinition
| misc.c:173:19:173:24 | Operand | Operand 'Operand' is not dominated by its definition in function '$@'. | misc.c:168:6:168:8 | IR: vla | void vla() |
| misc.c:174:17:174:22 | Operand | Operand 'Operand' is not dominated by its definition in function '$@'. | misc.c:168:6:168:8 | IR: vla | void vla() |
| misc.c:174:30:174:35 | Operand | Operand 'Operand' is not dominated by its definition in function '$@'. | misc.c:168:6:168:8 | IR: vla | void vla() |
| misc.c:187:5:187:9 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | misc.c:187:5:187:9 | IR: freti | int freti(int) |
| misc.c:208:1:208:3 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | misc.c:208:1:208:3 | IR: fmac | int fmac() |
| misc.c:212:5:212:16 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | misc.c:212:5:212:16 | IR: extern_local | int extern_local() |
| misc.c:219:5:219:26 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | misc.c:219:5:219:26 | IR: assign_designated_init | int assign_designated_init(someStruct*) |
| misc.c:219:5:219:26 | Load | Operand 'Load' is not dominated by its definition in function '$@'. | misc.c:219:5:219:26 | IR: assign_designated_init | int assign_designated_init(someStruct*) |
| misc.c:219:47:219:48 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | misc.c:219:5:219:26 | IR: assign_designated_init | int assign_designated_init(someStruct*) |
| misc.c:219:47:219:48 | Operand | Operand 'Operand' is not dominated by its definition in function '$@'. | misc.c:219:5:219:26 | IR: assign_designated_init | int assign_designated_init(someStruct*) |
| misc.c:220:4:220:5 | Load | Operand 'Load' is not dominated by its definition in function '$@'. | misc.c:219:5:219:26 | IR: assign_designated_init | int assign_designated_init(someStruct*) |
| misc.c:227:7:227:28 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | misc.c:227:7:227:28 | IR: builtin_addressof_test | void* builtin_addressof_test() |
| ms_assume.cpp:11:5:11:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ms_assume.cpp:11:5:11:8 | IR: main | int main(int, char*[]) |
| ms_try_except.cpp:9:19:9:19 | Load | Operand 'Load' is not dominated by its definition in function '$@'. | ms_try_except.cpp:2:6:2:18 | IR: ms_try_except | void ms_try_except(int) |
| ms_try_except.cpp:19:17:19:17 | Load | Operand 'Load' is not dominated by its definition in function '$@'. | ms_try_except.cpp:2:6:2:18 | IR: ms_try_except | void ms_try_except(int) |
| ms_try_mix.cpp:14:16:14:19 | Operand | Operand 'Operand' is not dominated by its definition in function '$@'. | ms_try_mix.cpp:10:6:10:18 | IR: ms_except_mix | void ms_except_mix(int) |
@@ -1079,74 +681,12 @@ useNotDominatedByDefinition
| ms_try_mix.cpp:38:16:38:19 | Operand | Operand 'Operand' is not dominated by its definition in function '$@'. | ms_try_mix.cpp:27:6:27:19 | IR: ms_finally_mix | void ms_finally_mix(int) |
| ms_try_mix.cpp:41:12:41:15 | Operand | Operand 'Operand' is not dominated by its definition in function '$@'. | ms_try_mix.cpp:27:6:27:19 | IR: ms_finally_mix | void ms_finally_mix(int) |
| ms_try_mix.cpp:51:5:51:11 | Load | Operand 'Load' is not dominated by its definition in function '$@'. | ms_try_mix.cpp:47:6:47:28 | IR: ms_empty_finally_at_end | void ms_empty_finally_at_end() |
| no_dynamic_init.cpp:9:5:9:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | allocators.cpp:14:5:14:8 | IR: main | int main() |
| no_dynamic_init.cpp:9:5:9:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | no_dynamic_init.cpp:9:5:9:8 | IR: main | int main() |
| no_dynamic_init.cpp:9:5:9:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | parameterinitializer.cpp:18:5:18:8 | IR: main | int main() |
| no_dynamic_init.cpp:9:5:9:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | stream_it.cpp:16:5:16:8 | IR: main | int main() |
| parameterinitializer.cpp:18:5:18:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | allocators.cpp:14:5:14:8 | IR: main | int main() |
| parameterinitializer.cpp:18:5:18:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | no_dynamic_init.cpp:9:5:9:8 | IR: main | int main() |
| parameterinitializer.cpp:18:5:18:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | parameterinitializer.cpp:18:5:18:8 | IR: main | int main() |
| parameterinitializer.cpp:18:5:18:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | stream_it.cpp:16:5:16:8 | IR: main | int main() |
| pointer_to_member.cpp:14:5:14:9 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | pointer_to_member.cpp:14:5:14:9 | IR: usePM | int usePM(int PM::*) |
| pointer_to_member.cpp:36:11:36:30 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | pointer_to_member.cpp:32:6:32:14 | IR: pmIsConst | void pmIsConst() |
| pointer_to_member.cpp:36:13:36:19 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | pointer_to_member.cpp:32:6:32:14 | IR: pmIsConst | void pmIsConst() |
| pointer_to_member.cpp:36:22:36:28 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | pointer_to_member.cpp:32:6:32:14 | IR: pmIsConst | void pmIsConst() |
| range_analysis.c:5:5:5:9 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:5:5:5:9 | IR: test1 | int test1(List*) |
| range_analysis.c:13:5:13:9 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:13:5:13:9 | IR: test2 | int test2(List*) |
| range_analysis.c:21:5:21:9 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:21:5:21:9 | IR: test3 | int test3(List*) |
| range_analysis.c:30:5:30:9 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:30:5:30:9 | IR: test4 | int test4() |
| range_analysis.c:39:5:39:9 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:39:5:39:9 | IR: test5 | int test5() |
| range_analysis.c:48:5:48:9 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:48:5:48:9 | IR: test6 | int test6() |
| range_analysis.c:57:5:57:9 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:57:5:57:9 | IR: test7 | int test7(int) |
| range_analysis.c:66:5:66:9 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:66:5:66:9 | IR: test8 | int test8(int, int) |
| range_analysis.c:75:5:75:9 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:75:5:75:9 | IR: test9 | int test9(int, int) |
| range_analysis.c:88:5:88:10 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:88:5:88:10 | IR: test10 | int test10(int, int) |
| range_analysis.c:98:5:98:10 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:98:5:98:10 | IR: test11 | int test11(char*) |
| range_analysis.c:117:11:117:23 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:117:11:117:23 | IR: test12_helper | size_type test12_helper() |
| range_analysis.c:122:5:122:10 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:122:5:122:10 | IR: test12 | int test12() |
| range_analysis.c:134:5:134:10 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:134:5:134:10 | IR: test13 | int test13(char, int) |
| range_analysis.c:143:5:143:10 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:143:5:143:10 | IR: test14 | int test14(int) |
| range_analysis.c:153:11:153:16 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:153:11:153:16 | IR: test15 | long long test15(long long) |
| range_analysis.c:158:5:158:14 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:158:5:158:14 | IR: test_unary | int test_unary(int) |
| range_analysis.c:197:5:197:15 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:197:5:197:15 | IR: test_mult01 | int test_mult01(int, int) |
| range_analysis.c:225:5:225:15 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:225:5:225:15 | IR: test_mult02 | int test_mult02(int, int) |
| range_analysis.c:253:5:253:15 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:253:5:253:15 | IR: test_mult03 | int test_mult03(int, int) |
| range_analysis.c:281:5:281:15 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:281:5:281:15 | IR: test_mult04 | int test_mult04(int, int) |
| range_analysis.c:309:5:309:15 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:309:5:309:15 | IR: test_mult05 | int test_mult05(int, int) |
| range_analysis.c:336:5:336:10 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:336:5:336:10 | IR: test16 | int test16(int) |
| range_analysis.c:355:14:355:27 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:355:14:355:27 | IR: test_ternary01 | unsigned int test_ternary01(unsigned int) |
| range_analysis.c:377:14:377:27 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:377:14:377:27 | IR: test_ternary02 | unsigned int test_ternary02(unsigned int) |
| range_analysis.c:393:14:393:25 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | range_analysis.c:393:14:393:25 | IR: test_comma01 | unsigned int test_comma01(unsigned int) |
| rethrow_error.cpp:8:5:8:5 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | rethrow_error.cpp:8:5:8:5 | IR: fun2 | int fun2<int>() |
| returnstmt.c:7:5:7:14 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | returnstmt.c:7:5:7:14 | IR: return_int | int return_int() |
| static_init_templates.cpp:77:28:77:28 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | static_init_templates.cpp:77:28:77:28 | IR: instantiatedTemplateFunction | void* instantiatedTemplateFunction<float>() |
| static_init_templates.cpp:77:28:77:28 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | static_init_templates.cpp:77:28:77:28 | IR: instantiatedTemplateFunction | void* instantiatedTemplateFunction<int>() |
| static_init_templates.cpp:86:28:86:28 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | static_init_templates.cpp:86:28:86:28 | IR: instantiatedTemplateFunction2 | void* instantiatedTemplateFunction2<float>() |
| static_init_templates.cpp:86:28:86:28 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | static_init_templates.cpp:86:28:86:28 | IR: instantiatedTemplateFunction2 | void* instantiatedTemplateFunction2<int>() |
| static_init_templates.cpp:94:28:94:28 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | static_init_templates.cpp:94:28:94:28 | IR: instantiatedTemplateFunction3 | void* instantiatedTemplateFunction3<float>() |
| static_init_templates.cpp:94:28:94:28 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | static_init_templates.cpp:94:28:94:28 | IR: instantiatedTemplateFunction3 | void* instantiatedTemplateFunction3<int>() |
| static_init_templates.cpp:102:28:102:28 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | static_init_templates.cpp:102:28:102:28 | IR: instantiatedTemplateFunction4 | void* instantiatedTemplateFunction4<float>() |
| static_init_templates.cpp:102:28:102:28 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | static_init_templates.cpp:102:28:102:28 | IR: instantiatedTemplateFunction4 | void* instantiatedTemplateFunction4<int>() |
| static_init_templates.cpp:122:7:122:25 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | static_init_templates.cpp:122:7:122:25 | IR: nonTemplateFunction | void* nonTemplateFunction() |
| static_init_templates.cpp:130:7:130:26 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | static_init_templates.cpp:130:7:130:26 | IR: nonTemplateFunction2 | void* nonTemplateFunction2() |
| staticlocals.cpp:3:5:3:5 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | staticlocals.cpp:3:5:3:5 | IR: g | int staticlocals::g() |
| staticlocals.cpp:7:5:7:5 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | staticlocals.cpp:7:5:7:5 | IR: h | int staticlocals::h() |
| staticlocals.cpp:17:15:17:20 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | staticlocals.cpp:17:15:17:20 | IR: addOne | int staticlocals::addOne(int) |
| stmt_expr.cpp:30:20:30:21 | Operand | Operand 'Operand' is not dominated by its definition in function '$@'. | stmt_expr.cpp:21:6:21:6 | IR: g | void stmtexpr::g(int) |
| stmt_expr.cpp:31:16:31:18 | Load | Operand 'Load' is not dominated by its definition in function '$@'. | stmt_expr.cpp:21:6:21:6 | IR: g | void stmtexpr::g(int) |
| stream_it.cpp:4:6:4:6 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | stream_it.cpp:4:6:4:6 | IR: begin | int* vector<int>::begin() |
| stream_it.cpp:5:6:5:6 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | stream_it.cpp:5:6:5:6 | IR: end | int* vector<int>::end() |
| stream_it.cpp:16:5:16:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | allocators.cpp:14:5:14:8 | IR: main | int main() |
| stream_it.cpp:16:5:16:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | no_dynamic_init.cpp:9:5:9:8 | IR: main | int main() |
| stream_it.cpp:16:5:16:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | parameterinitializer.cpp:18:5:18:8 | IR: main | int main() |
| stream_it.cpp:16:5:16:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | stream_it.cpp:16:5:16:8 | IR: main | int main() |
| switchbody.c:4:5:4:16 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | switchbody.c:4:5:4:16 | IR: switch_block | int switch_block(int) |
| switchbody.c:15:5:15:17 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | switchbody.c:15:5:15:17 | IR: switch_single | int switch_single(int) |
| switchbody.c:27:5:27:19 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | switchbody.c:27:5:27:19 | IR: switch_notblock | int switch_notblock(int) |
| test.c:218:5:218:11 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | test.c:218:5:218:11 | IR: f_and_1 | int f_and_1(int, int) |
| test.c:225:5:225:11 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | test.c:225:5:225:11 | IR: f_and_2 | int f_and_2(int, int) |
| try_catch.cpp:21:13:21:24 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | try_catch.cpp:19:6:19:23 | IR: throw_from_nonstmt | void throw_from_nonstmt(int) |
| vla.c:3:5:3:8 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | vla.c:3:5:3:8 | IR: main | int main(int, char**) |
| vla.c:3:5:3:8 | Load | Operand 'Load' is not dominated by its definition in function '$@'. | vla.c:3:5:3:8 | IR: main | int main(int, char**) |
| vla.c:3:27:3:30 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | vla.c:3:5:3:8 | IR: main | int main(int, char**) |
| vla.c:3:27:3:30 | Operand | Operand 'Operand' is not dominated by its definition in function '$@'. | vla.c:3:5:3:8 | IR: main | int main(int, char**) |
@@ -1159,7 +699,6 @@ useNotDominatedByDefinition
| vla.c:14:40:14:45 | Operand | Operand 'Operand' is not dominated by its definition in function '$@'. | vla.c:11:6:11:16 | IR: vla_typedef | void vla_typedef() |
| vla.c:14:58:14:63 | Operand | Operand 'Operand' is not dominated by its definition in function '$@'. | vla.c:11:6:11:16 | IR: vla_typedef | void vla_typedef() |
| vla.c:14:74:14:79 | Operand | Operand 'Operand' is not dominated by its definition in function '$@'. | vla.c:11:6:11:16 | IR: vla_typedef | void vla_typedef() |
| void_bug.cpp:3:5:3:12 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | void_bug.cpp:3:5:3:12 | IR: void_bug | int void_bug() |
missingCanonicalLanguageType
multipleCanonicalLanguageTypes
missingIRType

11
cpp/ql/test/library-tests/syntax-zoo/tellDifferent.expected
View File

@@ -1,3 +1,14 @@
| pointer_to_member__pmIsConstT | pointer_to_member.cpp:41:3:44:29 | declaration | pointer_to_member.cpp:44:11:44:28 | initializer for pms | Standard edge, only from QL | uninstantiated |
| pointer_to_member__pmIsConstT | pointer_to_member.cpp:41:3:44:29 | declaration | pointer_to_member.cpp:45:1:45:1 | return ... | Standard edge, only from extractor | uninstantiated |
| pointer_to_member__pmIsConstT | pointer_to_member.cpp:44:11:44:28 | initializer for pms | pointer_to_member.cpp:44:14:44:18 | x1 | Standard edge, only from QL | uninstantiated |
| pointer_to_member__pmIsConstT | pointer_to_member.cpp:44:11:44:28 | {...} | pointer_to_member.cpp:45:1:45:1 | return ... | Standard edge, only from QL | uninstantiated |
| pointer_to_member__pmIsConstT | pointer_to_member.cpp:44:13:44:18 | & ... | pointer_to_member.cpp:44:22:44:26 | f1 | Standard edge, only from QL | uninstantiated |
| pointer_to_member__pmIsConstT | pointer_to_member.cpp:44:14:44:18 | x1 | pointer_to_member.cpp:44:13:44:18 | & ... | Standard edge, only from QL | uninstantiated |
| pointer_to_member__pmIsConstT | pointer_to_member.cpp:44:21:44:26 | & ... | pointer_to_member.cpp:44:11:44:28 | {...} | Standard edge, only from QL | uninstantiated |
| pointer_to_member__pmIsConstT | pointer_to_member.cpp:44:22:44:26 | f1 | pointer_to_member.cpp:44:21:44:26 | & ... | Standard edge, only from QL | uninstantiated |
| staticlocals__staticlocals_f2 | file://:0:0:0:0 | call to C | staticlocals.cpp:30:1:30:1 | return ... | Standard edge, only from QL | |
| staticlocals__staticlocals_f2 | file://:0:0:0:0 | initializer for c | file://:0:0:0:0 | call to C | Standard edge, only from QL | |
| staticlocals__staticlocals_f2 | staticlocals.cpp:29:5:29:17 | declaration | file://:0:0:0:0 | initializer for c | Standard edge, only from QL | |
| staticlocals__staticlocals_f3 | staticlocals.cpp:39:3:39:34 | declaration | staticlocals.cpp:39:18:39:33 | initializer for i | Standard edge, only from QL | uninstantiated |
| staticlocals__staticlocals_f3 | staticlocals.cpp:39:18:39:33 | initializer for i | staticlocals.cpp:39:18:39:33 | value | Standard edge, only from QL | uninstantiated |
| staticlocals__staticlocals_f3 | staticlocals.cpp:39:18:39:33 | value | staticlocals.cpp:40:1:40:1 | return ... | Standard edge, only from QL | uninstantiated |

422
cpp/ql/test/library-tests/syntax-zoo/unaliased_ssa_sanity.expected
View File

@@ -1,116 +1,10 @@
missingOperand
| FunctionTryStmt.cpp:1:5:1:7 | ReturnValue: foo | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | FunctionTryStmt.cpp:1:5:1:7 | IR: foo | int foo() |
| allocators.cpp:7:16:7:27 | ReturnValue: operator new | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | allocators.cpp:7:16:7:27 | IR: operator new | void* Foo::operator new(unsigned long, int, int) |
| allocators.cpp:14:5:14:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | allocators.cpp:14:5:14:8 | IR: main | int main() |
| allocators.cpp:14:5:14:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | no_dynamic_init.cpp:9:5:9:8 | IR: main | int main() |
| allocators.cpp:14:5:14:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | parameterinitializer.cpp:18:5:18:8 | IR: main | int main() |
| allocators.cpp:14:5:14:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | stream_it.cpp:16:5:16:8 | IR: main | int main() |
| builtin.c:5:5:5:11 | ReturnValue: builtin | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | builtin.c:5:5:5:11 | IR: builtin | int builtin(int, int) |
| builtin.cpp:4:4:4:4 | ReturnValue: addressof | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | builtin.cpp:4:4:4:4 | IR: addressof | int* addressof<int>(int&) |
| condition_decls.cpp:8:3:8:14 | ReturnValue: operator int | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | condition_decls.cpp:8:3:8:14 | IR: operator int | int BoxedInt::operator int() |
| conditional_destructors.cpp:9:10:9:19 | ReturnValue: operator== | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | conditional_destructors.cpp:9:10:9:19 | IR: operator== | bool C1::operator==(C1 const&) const |
| conditional_destructors.cpp:24:10:24:19 | ReturnValue: operator== | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | conditional_destructors.cpp:24:10:24:19 | IR: operator== | bool C2::operator==(C2 const&) const |
| cpp11.cpp:27:7:27:14 | ReturnValue: getFirst | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | cpp11.cpp:27:7:27:14 | IR: getFirst | int range_based_for_11::getFirst() |
| cpp11.cpp:65:23:65:23 | ReturnValue: operator() | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | cpp11.cpp:65:23:65:23 | IR: operator() | int (void lambda::simple(int))::(lambda [] type at line 65, col. 20)::operator()() const |
| cpp11.cpp:106:7:106:9 | ReturnValue: ret | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | cpp11.cpp:106:7:106:9 | IR: ret | int synthetic_dtor_calls::ret() |
| cpp11.cpp:141:7:141:7 | ReturnValue: g | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | cpp11.cpp:141:7:141:7 | IR: g | int synthetic_dtor_calls::g(int) |
| destructors.cpp:6:5:6:20 | ReturnValue: destructors_main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | destructors.cpp:6:5:6:20 | IR: destructors_main | int destructors_main(HasDtor) |
| destructors.cpp:49:7:49:7 | ReturnValue: f | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | destructors.cpp:49:7:49:7 | IR: f | int cond_destruct::f(int) |
| ir.cpp:235:5:235:14 | ReturnValue: Parameters | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:235:5:235:14 | IR: Parameters | int Parameters(int, int) |
| ir.cpp:341:5:341:15 | ReturnValue: Dereference | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:341:5:341:15 | IR: Dereference | int Dereference(int*) |
| ir.cpp:348:6:348:14 | ReturnValue: AddressOf | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:348:6:348:14 | IR: AddressOf | int* AddressOf() |
| ir.cpp:376:5:376:11 | ReturnValue: CallAdd | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:376:5:376:11 | IR: CallAdd | int CallAdd(int, int) |
| ir.cpp:380:5:380:9 | ReturnValue: Comma | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:380:5:380:9 | IR: Comma | int Comma(int, int) |
| ir.cpp:422:7:422:18 | ReturnValue: ReturnStruct | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:422:7:422:18 | IR: ReturnStruct | Point ReturnStruct(Point) |
| ir.cpp:543:5:543:20 | ReturnValue: EarlyReturnValue | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:543:5:543:20 | IR: EarlyReturnValue | int EarlyReturnValue(int, int) |
| ir.cpp:551:5:551:18 | ReturnValue: CallViaFuncPtr | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:551:5:551:18 | IR: CallViaFuncPtr | int CallViaFuncPtr(int(*)(int)) |
| ir.cpp:560:5:560:14 | ReturnValue: EnumSwitch | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:560:5:560:14 | IR: EnumSwitch | int EnumSwitch(E) |
| ir.cpp:630:16:630:35 | ReturnValue: StaticMemberFunction | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:630:16:630:35 | IR: StaticMemberFunction | int C::StaticMemberFunction(int) |
| ir.cpp:634:9:634:30 | ReturnValue: InstanceMemberFunction | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:634:9:634:30 | IR: InstanceMemberFunction | int C::InstanceMemberFunction(int) |
| ir.cpp:638:17:638:37 | ReturnValue: VirtualMemberFunction | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:638:17:638:37 | IR: VirtualMemberFunction | int C::VirtualMemberFunction(int) |
| ir.cpp:675:5:675:18 | ReturnValue: DerefReference | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:675:5:675:18 | IR: DerefReference | int DerefReference(int&) |
| ir.cpp:679:6:679:18 | ReturnValue: TakeReference | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:679:6:679:18 | IR: TakeReference | int& TakeReference() |
| ir.cpp:704:3:704:3 | ReturnValue: min | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:704:3:704:3 | IR: min | int min<int>(int, int) |
| ir.cpp:708:5:708:11 | ReturnValue: CallMin | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:708:5:708:11 | IR: CallMin | int CallMin(int, int) |
| ir.cpp:715:12:715:12 | ReturnValue: Func | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:715:12:715:12 | IR: Func | long Outer<long>::Func<void*, char>(void*, char) |
| ir.cpp:720:8:720:29 | ReturnValue: CallNestedTemplateFunc | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:720:8:720:29 | IR: CallNestedTemplateFunc | double CallNestedTemplateFunc() |
| ir.cpp:745:8:745:8 | ReturnValue: operator= | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:745:8:745:8 | IR: operator= | Base& Base::operator=(Base const&) |
| ir.cpp:754:8:754:8 | ReturnValue: operator= | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:754:8:754:8 | IR: operator= | Middle& Middle::operator=(Middle const&) |
| ir.cpp:763:8:763:8 | ReturnValue: operator= | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:763:8:763:8 | IR: operator= | Derived& Derived::operator=(Derived const&) |
| ir.cpp:961:5:961:18 | ReturnValue: designatedInit | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:961:5:961:18 | IR: designatedInit | int designatedInit() |
| misc.c:125:5:125:11 | CopyValue: (statement expression) | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | misc.c:97:6:97:10 | IR: misc3 | void misc3() |
| misc.c:187:5:187:9 | ReturnValue: freti | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | misc.c:187:5:187:9 | IR: freti | int freti(int) |
| misc.c:208:1:208:3 | ReturnValue: fmac | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | misc.c:208:1:208:3 | IR: fmac | int fmac() |
| misc.c:212:5:212:16 | ReturnValue: extern_local | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | misc.c:212:5:212:16 | IR: extern_local | int extern_local() |
| misc.c:227:7:227:28 | ReturnValue: builtin_addressof_test | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | misc.c:227:7:227:28 | IR: builtin_addressof_test | void* builtin_addressof_test() |
| ms_assume.cpp:11:5:11:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | ms_assume.cpp:11:5:11:8 | IR: main | int main(int, char*[]) |
| no_dynamic_init.cpp:9:5:9:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | allocators.cpp:14:5:14:8 | IR: main | int main() |
| no_dynamic_init.cpp:9:5:9:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | no_dynamic_init.cpp:9:5:9:8 | IR: main | int main() |
| no_dynamic_init.cpp:9:5:9:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | parameterinitializer.cpp:18:5:18:8 | IR: main | int main() |
| no_dynamic_init.cpp:9:5:9:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | stream_it.cpp:16:5:16:8 | IR: main | int main() |
| parameterinitializer.cpp:18:5:18:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | allocators.cpp:14:5:14:8 | IR: main | int main() |
| parameterinitializer.cpp:18:5:18:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | no_dynamic_init.cpp:9:5:9:8 | IR: main | int main() |
| parameterinitializer.cpp:18:5:18:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | parameterinitializer.cpp:18:5:18:8 | IR: main | int main() |
| parameterinitializer.cpp:18:5:18:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | stream_it.cpp:16:5:16:8 | IR: main | int main() |
| parameterinitializer.cpp:27:3:27:6 | IndirectReadSideEffect: my_c | Instruction 'IndirectReadSideEffect' is missing an expected operand with tag 'SideEffect' in function '$@'. | allocators.cpp:14:5:14:8 | IR: main | int main() |
| parameterinitializer.cpp:27:3:27:6 | IndirectReadSideEffect: my_c | Instruction 'IndirectReadSideEffect' is missing an expected operand with tag 'SideEffect' in function '$@'. | no_dynamic_init.cpp:9:5:9:8 | IR: main | int main() |
| parameterinitializer.cpp:27:3:27:6 | IndirectReadSideEffect: my_c | Instruction 'IndirectReadSideEffect' is missing an expected operand with tag 'SideEffect' in function '$@'. | parameterinitializer.cpp:18:5:18:8 | IR: main | int main() |
| parameterinitializer.cpp:27:3:27:6 | IndirectReadSideEffect: my_c | Instruction 'IndirectReadSideEffect' is missing an expected operand with tag 'SideEffect' in function '$@'. | stream_it.cpp:16:5:16:8 | IR: main | int main() |
| pointer_to_member.cpp:14:5:14:9 | ReturnValue: usePM | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | pointer_to_member.cpp:14:5:14:9 | IR: usePM | int usePM(int PM::*) |
| range_analysis.c:5:5:5:9 | ReturnValue: test1 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:5:5:5:9 | IR: test1 | int test1(List*) |
| range_analysis.c:13:5:13:9 | ReturnValue: test2 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:13:5:13:9 | IR: test2 | int test2(List*) |
| range_analysis.c:21:5:21:9 | ReturnValue: test3 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:21:5:21:9 | IR: test3 | int test3(List*) |
| range_analysis.c:30:5:30:9 | ReturnValue: test4 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:30:5:30:9 | IR: test4 | int test4() |
| range_analysis.c:39:5:39:9 | ReturnValue: test5 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:39:5:39:9 | IR: test5 | int test5() |
| range_analysis.c:48:5:48:9 | ReturnValue: test6 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:48:5:48:9 | IR: test6 | int test6() |
| range_analysis.c:57:5:57:9 | ReturnValue: test7 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:57:5:57:9 | IR: test7 | int test7(int) |
| range_analysis.c:66:5:66:9 | ReturnValue: test8 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:66:5:66:9 | IR: test8 | int test8(int, int) |
| range_analysis.c:75:5:75:9 | ReturnValue: test9 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:75:5:75:9 | IR: test9 | int test9(int, int) |
| range_analysis.c:88:5:88:10 | ReturnValue: test10 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:88:5:88:10 | IR: test10 | int test10(int, int) |
| range_analysis.c:98:5:98:10 | ReturnValue: test11 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:98:5:98:10 | IR: test11 | int test11(char*) |
| range_analysis.c:117:11:117:23 | ReturnValue: test12_helper | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:117:11:117:23 | IR: test12_helper | size_type test12_helper() |
| range_analysis.c:122:5:122:10 | ReturnValue: test12 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:122:5:122:10 | IR: test12 | int test12() |
| range_analysis.c:134:5:134:10 | ReturnValue: test13 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:134:5:134:10 | IR: test13 | int test13(char, int) |
| range_analysis.c:143:5:143:10 | ReturnValue: test14 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:143:5:143:10 | IR: test14 | int test14(int) |
| range_analysis.c:153:11:153:16 | ReturnValue: test15 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:153:11:153:16 | IR: test15 | long long test15(long long) |
| range_analysis.c:158:5:158:14 | ReturnValue: test_unary | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:158:5:158:14 | IR: test_unary | int test_unary(int) |
| range_analysis.c:197:5:197:15 | ReturnValue: test_mult01 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:197:5:197:15 | IR: test_mult01 | int test_mult01(int, int) |
| range_analysis.c:225:5:225:15 | ReturnValue: test_mult02 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:225:5:225:15 | IR: test_mult02 | int test_mult02(int, int) |
| range_analysis.c:253:5:253:15 | ReturnValue: test_mult03 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:253:5:253:15 | IR: test_mult03 | int test_mult03(int, int) |
| range_analysis.c:281:5:281:15 | ReturnValue: test_mult04 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:281:5:281:15 | IR: test_mult04 | int test_mult04(int, int) |
| range_analysis.c:309:5:309:15 | ReturnValue: test_mult05 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:309:5:309:15 | IR: test_mult05 | int test_mult05(int, int) |
| range_analysis.c:336:5:336:10 | ReturnValue: test16 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:336:5:336:10 | IR: test16 | int test16(int) |
| range_analysis.c:355:14:355:27 | ReturnValue: test_ternary01 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:355:14:355:27 | IR: test_ternary01 | unsigned int test_ternary01(unsigned int) |
| range_analysis.c:377:14:377:27 | ReturnValue: test_ternary02 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:377:14:377:27 | IR: test_ternary02 | unsigned int test_ternary02(unsigned int) |
| range_analysis.c:393:14:393:25 | ReturnValue: test_comma01 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | range_analysis.c:393:14:393:25 | IR: test_comma01 | unsigned int test_comma01(unsigned int) |
| rethrow_error.cpp:8:5:8:5 | ReturnValue: fun2 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | rethrow_error.cpp:8:5:8:5 | IR: fun2 | int fun2<int>() |
| returnstmt.c:7:5:7:14 | ReturnValue: return_int | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | returnstmt.c:7:5:7:14 | IR: return_int | int return_int() |
| static_init_templates.cpp:77:28:77:28 | ReturnValue: instantiatedTemplateFunction | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | static_init_templates.cpp:77:28:77:28 | IR: instantiatedTemplateFunction | void* instantiatedTemplateFunction<float>() |
| static_init_templates.cpp:77:28:77:28 | ReturnValue: instantiatedTemplateFunction | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | static_init_templates.cpp:77:28:77:28 | IR: instantiatedTemplateFunction | void* instantiatedTemplateFunction<int>() |
| static_init_templates.cpp:86:28:86:28 | ReturnValue: instantiatedTemplateFunction2 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | static_init_templates.cpp:86:28:86:28 | IR: instantiatedTemplateFunction2 | void* instantiatedTemplateFunction2<float>() |
| static_init_templates.cpp:86:28:86:28 | ReturnValue: instantiatedTemplateFunction2 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | static_init_templates.cpp:86:28:86:28 | IR: instantiatedTemplateFunction2 | void* instantiatedTemplateFunction2<int>() |
| static_init_templates.cpp:94:28:94:28 | ReturnValue: instantiatedTemplateFunction3 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | static_init_templates.cpp:94:28:94:28 | IR: instantiatedTemplateFunction3 | void* instantiatedTemplateFunction3<float>() |
| static_init_templates.cpp:94:28:94:28 | ReturnValue: instantiatedTemplateFunction3 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | static_init_templates.cpp:94:28:94:28 | IR: instantiatedTemplateFunction3 | void* instantiatedTemplateFunction3<int>() |
| static_init_templates.cpp:102:28:102:28 | ReturnValue: instantiatedTemplateFunction4 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | static_init_templates.cpp:102:28:102:28 | IR: instantiatedTemplateFunction4 | void* instantiatedTemplateFunction4<float>() |
| static_init_templates.cpp:102:28:102:28 | ReturnValue: instantiatedTemplateFunction4 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | static_init_templates.cpp:102:28:102:28 | IR: instantiatedTemplateFunction4 | void* instantiatedTemplateFunction4<int>() |
| static_init_templates.cpp:122:7:122:25 | ReturnValue: nonTemplateFunction | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | static_init_templates.cpp:122:7:122:25 | IR: nonTemplateFunction | void* nonTemplateFunction() |
| static_init_templates.cpp:130:7:130:26 | ReturnValue: nonTemplateFunction2 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | static_init_templates.cpp:130:7:130:26 | IR: nonTemplateFunction2 | void* nonTemplateFunction2() |
| staticlocals.cpp:3:5:3:5 | ReturnValue: g | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | staticlocals.cpp:3:5:3:5 | IR: g | int staticlocals::g() |
| staticlocals.cpp:7:5:7:5 | ReturnValue: h | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | staticlocals.cpp:7:5:7:5 | IR: h | int staticlocals::h() |
| staticlocals.cpp:17:15:17:20 | ReturnValue: addOne | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | staticlocals.cpp:17:15:17:20 | IR: addOne | int staticlocals::addOne(int) |
| stream_it.cpp:4:6:4:6 | ReturnValue: begin | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | stream_it.cpp:4:6:4:6 | IR: begin | int* vector<int>::begin() |
| stream_it.cpp:5:6:5:6 | ReturnValue: end | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | stream_it.cpp:5:6:5:6 | IR: end | int* vector<int>::end() |
| stream_it.cpp:16:5:16:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | allocators.cpp:14:5:14:8 | IR: main | int main() |
| stream_it.cpp:16:5:16:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | no_dynamic_init.cpp:9:5:9:8 | IR: main | int main() |
| stream_it.cpp:16:5:16:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | parameterinitializer.cpp:18:5:18:8 | IR: main | int main() |
| stream_it.cpp:16:5:16:8 | ReturnValue: main | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | stream_it.cpp:16:5:16:8 | IR: main | int main() |
| switchbody.c:4:5:4:16 | ReturnValue: switch_block | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | switchbody.c:4:5:4:16 | IR: switch_block | int switch_block(int) |
| switchbody.c:15:5:15:17 | ReturnValue: switch_single | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | switchbody.c:15:5:15:17 | IR: switch_single | int switch_single(int) |
| switchbody.c:27:5:27:19 | ReturnValue: switch_notblock | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | switchbody.c:27:5:27:19 | IR: switch_notblock | int switch_notblock(int) |
| test.c:218:5:218:11 | ReturnValue: f_and_1 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | test.c:218:5:218:11 | IR: f_and_1 | int f_and_1(int, int) |
| test.c:225:5:225:11 | ReturnValue: f_and_2 | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | test.c:225:5:225:11 | IR: f_and_2 | int f_and_2(int, int) |
| try_catch.cpp:13:5:13:16 | ThrowValue: throw ... | Instruction 'ThrowValue' is missing an expected operand with tag 'Load' in function '$@'. | try_catch.cpp:11:6:11:17 | IR: bypass_catch | void bypass_catch() |
| void_bug.cpp:3:5:3:12 | ReturnValue: void_bug | Instruction 'ReturnValue' is missing an expected operand with tag 'Address' in function '$@'. | void_bug.cpp:3:5:3:12 | IR: void_bug | int void_bug() |
unexpectedOperand
duplicateOperand
missingPhiOperand
@@ -127,338 +21,22 @@ missingPhiOperand
missingOperandType
sideEffectWithoutPrimary
instructionWithoutSuccessor
| CPP-309.cpp:8:1:8:1 | NoOp: return ... |
| CPP-309.cpp:12:1:12:1 | NoOp: return ... |
| FunctionTryStmt.cpp:11:5:11:11 | NoOp: return ... |
| VacuousDestructorCall.cpp:2:29:2:29 | InitializeIndirection: y |
| VacuousDestructorCall.cpp:11:1:11:1 | NoOp: return ... |
| abortingfunctions.cpp:10:1:10:1 | NoOp: return ... |
| abortingfunctions.cpp:17:1:17:1 | NoOp: return ... |
| abortingfunctions.cpp:25:1:25:1 | NoOp: return ... |
| abortingfunctions.cpp:35:1:35:1 | NoOp: return ... |
| abortingfunctions.cpp:42:1:42:1 | NoOp: return ... |
| abortingfunctions.cpp:46:1:46:1 | NoOp: return ... |
| aggregateinitializer.c:4:1:4:1 | NoOp: return ... |
| allocators.cpp:3:39:3:39 | NoOp: return ... |
| allocators.cpp:4:25:4:25 | NoOp: return ... |
| allocators.cpp:8:37:8:40 | ReturnIndirection: self |
| array_delete.cpp:7:1:7:1 | NoOp: return ... |
| assignexpr.cpp:11:1:11:1 | NoOp: return ... |
| assume0.cpp:12:1:12:1 | NoOp: return ... |
| assume0.cpp:20:1:20:1 | NoOp: return ... |
| bad_asts.cpp:17:3:17:3 | NoOp: return ... |
| bad_asts.cpp:23:5:23:5 | NoOp: return ... |
| bad_asts.cpp:26:41:26:41 | ReturnIndirection: a |
| break_labels.c:13:12:13:17 | Store: result |
| break_labels.c:29:1:29:1 | NoOp: return ... |
| builtin.cpp:11:1:11:1 | NoOp: return ... |
| builtin.cpp:16:1:16:1 | NoOp: return ... |
| condition_decl_int.cpp:5:1:5:1 | NoOp: return ... |
| condition_decls.cpp:4:3:4:3 | NoOp: return ... |
| condition_decls.cpp:7:3:7:3 | NoOp: return ... |
| condition_decls.cpp:16:19:16:20 | CallSideEffect: call to BoxedInt |
| condition_decls.cpp:26:23:26:24 | CallSideEffect: call to BoxedInt |
| condition_decls.cpp:41:22:41:23 | CallSideEffect: call to BoxedInt |
| condition_decls.cpp:48:52:48:53 | CallSideEffect: call to BoxedInt |
| conditional_destructors.cpp:7:9:7:9 | NoOp: return ... |
| conditional_destructors.cpp:19:9:19:9 | NoOp: return ... |
| conditional_destructors.cpp:22:9:22:9 | NoOp: return ... |
| conditional_destructors.cpp:36:1:36:1 | NoOp: return ... |
| conditional_destructors.cpp:45:1:45:1 | NoOp: return ... |
| constmemberaccess.cpp:10:1:10:1 | NoOp: return ... |
| constructorinitializer.cpp:9:1:9:1 | NoOp: return ... |
| cpp11.cpp:9:3:9:3 | NoOp: return ... |
| cpp11.cpp:52:1:52:1 | NoOp: return ... |
| cpp11.cpp:61:1:61:1 | NoOp: return ... |
| cpp11.cpp:66:3:66:3 | NoOp: return ... |
| cpp11.cpp:78:3:78:3 | NoOp: return ... |
| cpp11.cpp:82:55:82:55 | NoOp: return ... |
| cpp11.cpp:83:3:83:3 | NoOp: return ... |
| cpp11.cpp:89:3:89:3 | NoOp: return ... |
| cpp11.cpp:104:3:104:3 | NoOp: return ... |
| cpp11.cpp:115:3:115:3 | NoOp: return ... |
| cpp11.cpp:136:3:136:3 | NoOp: return ... |
| cpp11.cpp:166:14:166:14 | NoOp: return ... |
| cpp11.cpp:171:3:171:3 | NoOp: return ... |
| cpp17.cpp:15:11:15:21 | Convert: (void *)... |
| cpp17.cpp:18:42:18:42 | ReturnIndirection: p |
| defconstructornewexpr.cpp:5:3:5:9 | NoOp: return ... |
| defdestructordeleteexpr.cpp:6:1:6:1 | NoOp: return ... |
| deleteexpr.cpp:9:1:9:1 | NoOp: return ... |
| destructors.cpp:31:1:31:1 | NoOp: return ... |
| destructors.cpp:38:1:38:1 | NoOp: return ... |
| dostmt.c:6:1:6:1 | NoOp: return ... |
| dostmt.c:14:1:14:1 | NoOp: return ... |
| dostmt.c:23:1:23:1 | NoOp: return ... |
| dostmt.c:38:1:38:1 | NoOp: return ... |
| duff2.c:14:1:14:1 | NoOp: return ... |
| duff2.c:22:1:22:1 | NoOp: return ... |
| duff.c:15:1:15:1 | NoOp: return ... |
| dummyblock.c:4:1:4:1 | NoOp: return ... |
| ellipsisexceptionhandler.cpp:12:1:12:1 | NoOp: return ... |
| ellipsisexceptionhandler.cpp:19:1:19:1 | NoOp: return ... |
| emptyblock.c:5:1:5:1 | NoOp: return ... |
| enum.c:6:9:6:9 | Store: (int)... |
| exceptionhandler.cpp:24:1:24:1 | NoOp: return ... |
| exprstmt.c:4:1:4:1 | NoOp: return ... |
| fieldaccess.cpp:10:1:10:1 | NoOp: return ... |
| file://:0:0:0:0 | ReturnIndirection: p#0 |
| file://:0:0:0:0 | ReturnIndirection: p#0 |
| file://:0:0:0:0 | ReturnIndirection: p#0 |
| file://:0:0:0:0 | ReturnIndirection: p#2 |
| forstmt.cpp:6:1:6:1 | NoOp: return ... |
| forstmt.cpp:11:1:11:1 | NoOp: return ... |
| forstmt.cpp:21:1:21:1 | NoOp: return ... |
| gotostmt.c:5:1:5:1 | NoOp: return ... |
| ifelsestmt.c:9:1:9:1 | NoOp: return ... |
| ifelsestmt.c:17:1:17:1 | NoOp: return ... |
| ifelsestmt.c:27:1:27:1 | NoOp: return ... |
| ifelsestmt.c:35:1:35:1 | NoOp: return ... |
| ifelsestmt.c:45:1:45:1 | NoOp: return ... |
| ifstmt.c:6:1:6:1 | NoOp: return ... |
| ifstmt.c:12:1:12:1 | NoOp: return ... |
| ifstmt.c:19:1:19:1 | NoOp: return ... |
| ifstmt.c:25:1:25:1 | NoOp: return ... |
| ifstmt.c:32:1:32:1 | NoOp: return ... |
| initializer.c:4:1:4:1 | NoOp: return ... |
| ir.cpp:41:1:41:1 | NoOp: return ... |
| ir.cpp:48:1:48:1 | NoOp: return ... |
| ir.cpp:85:1:85:1 | NoOp: return ... |
| ir.cpp:96:1:96:1 | NoOp: return ... |
| ir.cpp:105:1:105:1 | NoOp: return ... |
| ir.cpp:112:1:112:1 | NoOp: return ... |
| ir.cpp:131:1:131:1 | NoOp: return ... |
| ir.cpp:142:1:142:1 | NoOp: return ... |
| ir.cpp:151:1:151:1 | NoOp: return ... |
| ir.cpp:153:22:153:22 | ReturnIndirection: p |
| ir.cpp:171:23:171:23 | ReturnIndirection: p |
| ir.cpp:191:1:191:1 | NoOp: return ... |
| ir.cpp:193:34:193:34 | ReturnIndirection: q |
| ir.cpp:204:26:204:26 | ReturnIndirection: p |
| ir.cpp:228:1:228:1 | NoOp: return ... |
| ir.cpp:233:1:233:1 | NoOp: return ... |
| ir.cpp:251:1:251:1 | NoOp: return ... |
| ir.cpp:257:1:257:1 | NoOp: return ... |
| ir.cpp:263:1:263:1 | NoOp: return ... |
| ir.cpp:283:1:283:1 | NoOp: return ... |
| ir.cpp:296:1:296:1 | NoOp: return ... |
| ir.cpp:309:1:309:1 | NoOp: return ... |
| ir.cpp:315:1:315:1 | NoOp: return ... |
| ir.cpp:323:1:323:1 | NoOp: return ... |
| ir.cpp:331:1:331:1 | NoOp: return ... |
| ir.cpp:339:1:339:1 | NoOp: return ... |
| ir.cpp:358:1:358:1 | NoOp: return ... |
| ir.cpp:367:1:367:1 | NoOp: return ... |
| ir.cpp:374:1:374:1 | NoOp: return ... |
| ir.cpp:410:1:410:1 | NoOp: return ... |
| ir.cpp:431:1:431:1 | NoOp: return ... |
| ir.cpp:445:1:445:1 | NoOp: return ... |
| ir.cpp:459:1:459:1 | NoOp: return ... |
| ir.cpp:473:1:473:1 | NoOp: return ... |
| ir.cpp:480:1:480:1 | NoOp: return ... |
| ir.cpp:484:1:484:1 | NoOp: return ... |
| ir.cpp:490:1:490:1 | NoOp: return ... |
| ir.cpp:494:1:494:1 | NoOp: return ... |
| ir.cpp:501:1:501:1 | NoOp: return ... |
| ir.cpp:510:1:510:1 | NoOp: return ... |
| ir.cpp:517:1:517:1 | NoOp: return ... |
| ir.cpp:523:1:523:1 | NoOp: return ... |
| ir.cpp:533:1:533:1 | NoOp: return ... |
| ir.cpp:537:9:537:15 | NoOp: return ... |
| ir.cpp:541:1:541:1 | NoOp: return ... |
| ir.cpp:580:1:580:1 | NoOp: return ... |
| ir.cpp:586:1:586:1 | NoOp: return ... |
| ir.cpp:595:1:595:1 | NoOp: return ... |
| ir.cpp:620:1:620:1 | NoOp: return ... |
| ir.cpp:622:37:622:37 | ReturnIndirection: p |
| ir.cpp:650:5:650:5 | NoOp: return ... |
| ir.cpp:656:5:656:5 | NoOp: return ... |
| ir.cpp:664:5:664:5 | NoOp: return ... |
| ir.cpp:689:1:689:1 | NoOp: return ... |
| ir.cpp:695:1:695:1 | NoOp: return ... |
| ir.cpp:701:1:701:1 | NoOp: return ... |
| ir.cpp:743:1:743:1 | NoOp: return ... |
| ir.cpp:749:3:749:3 | NoOp: return ... |
| ir.cpp:751:3:751:3 | CallSideEffect: call to ~String |
| ir.cpp:758:3:758:3 | NoOp: return ... |
| ir.cpp:760:3:760:3 | CallSideEffect: call to ~Base |
| ir.cpp:767:3:767:3 | NoOp: return ... |
| ir.cpp:769:3:769:3 | CallSideEffect: call to ~Middle |
| ir.cpp:776:3:776:3 | NoOp: return ... |
| ir.cpp:778:3:778:3 | CallSideEffect: call to ~Base |
| ir.cpp:785:3:785:3 | NoOp: return ... |
| ir.cpp:787:3:787:3 | CallSideEffect: call to ~Base |
| ir.cpp:794:3:794:3 | NoOp: return ... |
| ir.cpp:796:3:796:3 | CallSideEffect: call to ~Base |
| ir.cpp:840:1:840:1 | NoOp: return ... |
| ir.cpp:842:8:842:8 | NoOp: return ... |
| ir.cpp:846:8:846:8 | CallSideEffect: call to ~PolymorphicBase |
| ir.cpp:846:8:846:8 | NoOp: return ... |
| ir.cpp:865:1:865:1 | NoOp: return ... |
| ir.cpp:869:1:869:1 | NoOp: return ... |
| ir.cpp:881:1:881:1 | NoOp: return ... |
| ir.cpp:883:47:883:47 | ReturnIndirection: p |
| ir.cpp:898:1:898:1 | NoOp: return ... |
| ir.cpp:902:1:902:1 | NoOp: return ... |
| ir.cpp:907:1:907:1 | NoOp: return ... |
| ir.cpp:948:1:948:1 | NoOp: return ... |
| ir.cpp:959:1:959:1 | NoOp: return ... |
| landexpr.c:6:1:6:1 | NoOp: return ... |
| lorexpr.c:6:1:6:1 | NoOp: return ... |
| ltrbinopexpr.c:43:1:43:1 | NoOp: return ... |
| membercallexpr.cpp:10:1:10:1 | NoOp: return ... |
| membercallexpr_args.cpp:11:1:11:1 | NoOp: return ... |
| misc.c:91:54:91:55 | ReturnIndirection: sp |
| misc.c:142:1:142:1 | NoOp: return ... |
| misc.c:150:1:150:1 | NoOp: return ... |
| misc.c:161:1:161:1 | NoOp: return ... |
| misc.c:166:1:166:1 | NoOp: return ... |
| misc.c:171:10:171:13 | Uninitialized: definition of str2 |
| misc.c:181:1:181:1 | NoOp: return ... |
| misc.c:184:5:184:11 | NoOp: return ... |
| misc.c:197:23:197:25 | ReturnIndirection: fmt |
| misc.c:219:47:219:48 | InitializeIndirection: sp |
| ms_try_except.cpp:3:9:3:9 | Uninitialized: definition of x |
| ms_try_mix.cpp:11:12:11:15 | CallSideEffect: call to C |
| ms_try_mix.cpp:28:12:28:15 | CallSideEffect: call to C |
| ms_try_mix.cpp:48:10:48:13 | CallSideEffect: call to C |
| newexpr.cpp:9:1:9:1 | NoOp: return ... |
| no_dynamic_init.cpp:6:3:6:3 | NoOp: return ... |
| nodefaultswitchstmt.c:7:1:7:1 | NoOp: return ... |
| nonmembercallexpr.c:1:12:1:12 | NoOp: return ... |
| nonmembercallexpr.c:6:1:6:1 | NoOp: return ... |
| nonmemberfp2callexpr.c:6:1:6:1 | NoOp: return ... |
| nonmemberfpcallexpr.c:5:1:5:1 | NoOp: return ... |
| ops.cpp:14:29:14:29 | NoOp: return ... |
| ops.cpp:15:30:15:30 | NoOp: return ... |
| ops.cpp:28:1:28:1 | NoOp: return ... |
| parameterinitializer.cpp:4:12:4:12 | Store: 5 |
| parameterinitializer.cpp:9:1:9:1 | NoOp: return ... |
| parameterinitializer.cpp:13:18:13:18 | NoOp: return ... |
| parameterinitializer.cpp:15:28:15:28 | NoOp: return ... |
| pmcallexpr.cpp:10:1:10:1 | NoOp: return ... |
| pointer_to_member.cpp:36:11:36:30 | FieldAddress: {...} |
| pruning.c:10:1:10:1 | NoOp: return ... |
| pruning.c:14:9:14:15 | NoOp: return ... |
| pruning.c:22:9:22:15 | NoOp: return ... |
| pruning.c:34:1:34:1 | NoOp: return ... |
| pruning.c:38:9:38:15 | NoOp: return ... |
| pruning.c:50:1:50:1 | NoOp: return ... |
| pruning.c:54:9:54:15 | NoOp: return ... |
| pruning.c:62:9:62:15 | NoOp: return ... |
| pruning.c:71:9:71:15 | NoOp: return ... |
| pruning.c:75:1:75:1 | NoOp: return ... |
| pruning.c:80:9:80:15 | NoOp: return ... |
| pruning.c:84:1:84:1 | NoOp: return ... |
| pruning.c:89:9:89:15 | NoOp: return ... |
| pruning.c:93:1:93:1 | NoOp: return ... |
| pruning.c:98:9:98:15 | NoOp: return ... |
| pruning.c:102:1:102:1 | NoOp: return ... |
| pruning.c:107:9:107:15 | NoOp: return ... |
| pruning.c:111:1:111:1 | NoOp: return ... |
| pruning.c:116:9:116:15 | NoOp: return ... |
| pruning.c:120:1:120:1 | NoOp: return ... |
| pruning.c:125:9:125:15 | NoOp: return ... |
| pruning.c:129:1:129:1 | NoOp: return ... |
| pruning.c:134:9:134:15 | NoOp: return ... |
| pruning.c:138:1:138:1 | NoOp: return ... |
| pruning.c:144:1:144:1 | NoOp: return ... |
| pruning.c:150:1:150:1 | NoOp: return ... |
| pruning.c:156:1:156:1 | NoOp: return ... |
| pruning.c:162:1:162:1 | NoOp: return ... |
| pruning.c:169:1:169:1 | NoOp: return ... |
| pruning.c:176:1:176:1 | NoOp: return ... |
| pruning.c:183:1:183:1 | NoOp: return ... |
| pruning.c:190:1:190:1 | NoOp: return ... |
| pruning.c:198:1:198:1 | NoOp: return ... |
| questionexpr.c:4:1:4:1 | NoOp: return ... |
| rethrow_error.cpp:3:13:3:13 | NoOp: return ... |
| rethrow_error.cpp:4:21:4:21 | NoOp: return ... |
| rethrow_error.cpp:22:1:22:1 | NoOp: return ... |
| returnstmt.c:3:5:3:11 | NoOp: return ... |
| revsubscriptexpr.c:5:1:5:1 | NoOp: return ... |
| shortforstmt.cpp:6:1:6:1 | NoOp: return ... |
| shortforstmt.cpp:14:1:14:1 | NoOp: return ... |
| shortforstmt.cpp:24:1:24:1 | NoOp: return ... |
| shortforstmt.cpp:38:1:38:1 | NoOp: return ... |
| statements.cpp:5:1:5:1 | NoOp: return ... |
| statements.cpp:10:1:10:1 | NoOp: return ... |
| statements.cpp:16:5:16:11 | NoOp: return ... |
| statements.cpp:19:1:19:1 | NoOp: return ... |
| statements.cpp:28:1:28:1 | NoOp: return ... |
| statements.cpp:36:1:36:1 | NoOp: return ... |
| statements.cpp:57:1:57:1 | NoOp: return ... |
| statements.h:3:3:3:3 | NoOp: return ... |
| static_init_templates.cpp:2:21:2:23 | ReturnIndirection: ref |
| static_init_templates.cpp:27:1:27:1 | NoOp: return ... |
| static_init_templates.cpp:34:1:34:1 | NoOp: return ... |
| static_init_templates.cpp:119:1:119:1 | NoOp: return ... |
| static_init_templates.cpp:227:30:227:30 | NoOp: return ... |
| static_init_templates.cpp:233:35:233:35 | NoOp: return ... |
| static_init_templates.cpp:236:7:236:7 | NoOp: return ... |
| static_init_templates.cpp:240:7:240:7 | NoOp: return ... |
| static_init_templates.cpp:252:1:252:1 | NoOp: return ... |
| staticlocals.cpp:15:1:15:1 | NoOp: return ... |
| staticlocals.cpp:22:19:22:19 | NoOp: return ... |
| staticlocals.cpp:30:1:30:1 | NoOp: return ... |
| staticmembercallexpr.cpp:10:1:10:1 | NoOp: return ... |
| staticmembercallexpr_args.cpp:11:1:11:1 | NoOp: return ... |
| stmt_expr.cpp:19:1:19:1 | NoOp: return ... |
| stmt_expr.cpp:27:5:27:15 | Store: ... = ... |
| stmt_in_type.cpp:6:1:6:1 | NoOp: return ... |
| stream_it.cpp:9:27:9:27 | ReturnIndirection: t |
| subscriptexpr.c:5:1:5:1 | NoOp: return ... |
| switchstmt.c:8:1:8:1 | NoOp: return ... |
| test.c:8:1:8:1 | NoOp: return ... |
| test.c:16:1:16:1 | NoOp: return ... |
| test.c:24:1:24:1 | NoOp: return ... |
| test.c:31:5:31:11 | NoOp: return ... |
| test.c:47:5:47:11 | NoOp: return ... |
| test.c:54:5:54:11 | NoOp: return ... |
| test.c:68:5:68:11 | NoOp: return ... |
| test.c:75:5:75:11 | NoOp: return ... |
| test.c:89:5:89:11 | NoOp: return ... |
| test.c:94:5:94:11 | NoOp: return ... |
| test.c:99:5:99:11 | NoOp: return ... |
| test.c:104:5:104:11 | NoOp: return ... |
| test.c:110:13:110:19 | NoOp: return ... |
| test.c:112:13:112:19 | NoOp: return ... |
| test.c:117:13:117:19 | NoOp: return ... |
| test.c:119:13:119:19 | NoOp: return ... |
| test.c:127:13:127:19 | NoOp: return ... |
| test.c:129:13:129:19 | NoOp: return ... |
| test.c:134:13:134:19 | NoOp: return ... |
| test.c:142:13:142:19 | NoOp: return ... |
| test.c:144:13:144:19 | NoOp: return ... |
| test.c:149:13:149:19 | NoOp: return ... |
| test.c:151:13:151:19 | NoOp: return ... |
| test.c:159:13:159:19 | NoOp: return ... |
| test.c:161:13:161:19 | NoOp: return ... |
| test.c:166:13:166:19 | NoOp: return ... |
| test.c:174:13:174:19 | NoOp: return ... |
| test.c:176:13:176:19 | NoOp: return ... |
| test.c:181:13:181:19 | NoOp: return ... |
| test.c:183:13:183:19 | NoOp: return ... |
| test.c:191:13:191:19 | NoOp: return ... |
| test.c:193:13:193:19 | NoOp: return ... |
| test.c:198:13:198:19 | NoOp: return ... |
| test.c:206:13:206:19 | NoOp: return ... |
| test.c:208:13:208:19 | NoOp: return ... |
| test.c:213:13:213:19 | NoOp: return ... |
| test.c:235:1:235:1 | NoOp: return ... |
| try_catch.cpp:2:10:2:10 | NoOp: return ... |
| try_catch.cpp:7:8:7:8 | CallSideEffect: call to ~exception |
| try_catch.cpp:7:8:7:8 | NoOp: return ... |
| try_catch.cpp:15:5:15:11 | NoOp: return ... |
| unaryopexpr.c:14:1:14:1 | NoOp: return ... |
| vla.c:5:9:5:14 | Uninitialized: definition of matrix |
| vla.c:11:6:11:16 | UnmodeledDefinition: vla_typedef |
| void_bug.h:2:15:2:15 | NoOp: return ... |
| whilestmt.c:6:1:6:1 | NoOp: return ... |
| whilestmt.c:13:1:13:1 | NoOp: return ... |
| whilestmt.c:21:1:21:1 | NoOp: return ... |
| whilestmt.c:30:1:30:1 | NoOp: return ... |
| whilestmt.c:45:1:45:1 | NoOp: return ... |
ambiguousSuccessors
| allocators.cpp:14:5:14:8 | UnmodeledDefinition: main | Goto | 4 | allocators.cpp:16:8:16:10 | VariableAddress: definition of foo |
| allocators.cpp:14:5:14:8 | UnmodeledDefinition: main | Goto | 4 | no_dynamic_init.cpp:10:16:10:16 | VariableAddress: definition of m |

159
cpp/ql/test/library-tests/valuenumbering/GlobalValueNumbering/ir_gvn.expected
View File

@@ -1,71 +1,73 @@
test.cpp:
# 1| int test00(int, int)
# 1| Block 0
# 1| v0_0(void) = EnterFunction :
# 1| m0_1(unknown) = AliasedDefinition :
# 1| v0_0(void) = EnterFunction :
# 1| m0_1(unknown) = AliasedDefinition :
# 1| valnum = unique
# 1| mu0_2(unknown) = UnmodeledDefinition :
# 1| mu0_2(unknown) = UnmodeledDefinition :
# 1| valnum = unique
# 1| r0_3(glval<int>) = VariableAddress[p0] :
# 1| r0_3(glval<int>) = VariableAddress[p0] :
# 1| valnum = r0_3
# 1| m0_4(int) = InitializeParameter[p0] : &:r0_3
# 1| m0_4(int) = InitializeParameter[p0] : &:r0_3
# 1| valnum = m0_4
# 1| r0_5(glval<int>) = VariableAddress[p1] :
# 1| r0_5(glval<int>) = VariableAddress[p1] :
# 1| valnum = r0_5
# 1| m0_6(int) = InitializeParameter[p1] : &:r0_5
# 1| m0_6(int) = InitializeParameter[p1] : &:r0_5
# 1| valnum = m0_6
# 2| r0_7(glval<int>) = VariableAddress[x] :
# 2| r0_7(glval<int>) = VariableAddress[x] :
# 2| valnum = r0_7
# 2| m0_8(int) = Uninitialized[x] : &:r0_7
# 2| m0_8(int) = Uninitialized[x] : &:r0_7
# 2| valnum = unique
# 2| r0_9(glval<int>) = VariableAddress[y] :
# 2| r0_9(glval<int>) = VariableAddress[y] :
# 2| valnum = r0_9
# 2| m0_10(int) = Uninitialized[y] : &:r0_9
# 2| m0_10(int) = Uninitialized[y] : &:r0_9
# 2| valnum = unique
# 3| r0_11(glval<unsigned char>) = VariableAddress[b] :
# 3| r0_11(glval<unsigned char>) = VariableAddress[b] :
# 3| valnum = unique
# 3| m0_12(unsigned char) = Uninitialized[b] : &:r0_11
# 3| m0_12(unsigned char) = Uninitialized[b] : &:r0_11
# 3| valnum = unique
# 5| r0_13(glval<int>) = VariableAddress[p0] :
# 5| r0_13(glval<int>) = VariableAddress[p0] :
# 5| valnum = r0_3
# 5| r0_14(int) = Load : &:r0_13, m0_4
# 5| r0_14(int) = Load : &:r0_13, m0_4
# 5| valnum = m0_4
# 5| r0_15(glval<int>) = VariableAddress[p1] :
# 5| r0_15(glval<int>) = VariableAddress[p1] :
# 5| valnum = r0_5
# 5| r0_16(int) = Load : &:r0_15, m0_6
# 5| r0_16(int) = Load : &:r0_15, m0_6
# 5| valnum = m0_6
# 5| r0_17(int) = Add : r0_14, r0_16
# 5| r0_17(int) = Add : r0_14, r0_16
# 5| valnum = r0_17
# 5| r0_18(glval<int>) = VariableAddress[x] :
# 5| r0_18(glval<int>) = VariableAddress[x] :
# 5| valnum = r0_7
# 5| m0_19(int) = Store : &:r0_18, r0_17
# 5| m0_19(int) = Store : &:r0_18, r0_17
# 5| valnum = r0_17
# 6| r0_20(glval<int>) = VariableAddress[p0] :
# 6| r0_20(glval<int>) = VariableAddress[p0] :
# 6| valnum = r0_3
# 6| r0_21(int) = Load : &:r0_20, m0_4
# 6| r0_21(int) = Load : &:r0_20, m0_4
# 6| valnum = m0_4
# 6| r0_22(glval<int>) = VariableAddress[p1] :
# 6| r0_22(glval<int>) = VariableAddress[p1] :
# 6| valnum = r0_5
# 6| r0_23(int) = Load : &:r0_22, m0_6
# 6| r0_23(int) = Load : &:r0_22, m0_6
# 6| valnum = m0_6
# 6| r0_24(int) = Add : r0_21, r0_23
# 6| r0_24(int) = Add : r0_21, r0_23
# 6| valnum = r0_17
# 6| r0_25(glval<int>) = VariableAddress[x] :
# 6| r0_25(glval<int>) = VariableAddress[x] :
# 6| valnum = r0_7
# 6| m0_26(int) = Store : &:r0_25, r0_24
# 6| m0_26(int) = Store : &:r0_25, r0_24
# 6| valnum = r0_17
# 7| r0_27(glval<int>) = VariableAddress[x] :
# 7| r0_27(glval<int>) = VariableAddress[x] :
# 7| valnum = r0_7
# 7| r0_28(int) = Load : &:r0_27, m0_26
# 7| r0_28(int) = Load : &:r0_27, m0_26
# 7| valnum = r0_17
# 7| r0_29(glval<int>) = VariableAddress[y] :
# 7| r0_29(glval<int>) = VariableAddress[y] :
# 7| valnum = r0_9
# 7| m0_30(int) = Store : &:r0_29, r0_28
# 7| m0_30(int) = Store : &:r0_29, r0_28
# 7| valnum = r0_17
# 8| v0_31(void) = NoOp :
# 1| v0_32(void) = ReturnValue :
# 1| v0_33(void) = UnmodeledUse : mu*
# 1| v0_34(void) = ExitFunction :
# 8| v0_31(void) = NoOp :
# 1| r0_32(glval<int>) = VariableAddress[#return] :
# 1| valnum = unique
# 1| v0_33(void) = ReturnValue : &:r0_32
# 1| v0_34(void) = UnmodeledUse : mu*
# 1| v0_35(void) = ExitFunction :
# 12| int test01(int, int)
# 12| Block 0
@@ -143,9 +145,11 @@ test.cpp:
# 18| m0_36(int) = Store : &:r0_35, r0_34
# 18| valnum = r0_30
# 19| v0_37(void) = NoOp :
# 12| v0_38(void) = ReturnValue :
# 12| v0_39(void) = UnmodeledUse : mu*
# 12| v0_40(void) = ExitFunction :
# 12| r0_38(glval<int>) = VariableAddress[#return] :
# 12| valnum = unique
# 12| v0_39(void) = ReturnValue : &:r0_38
# 12| v0_40(void) = UnmodeledUse : mu*
# 12| v0_41(void) = ExitFunction :
# 25| int test02(int, int)
# 25| Block 0
@@ -230,9 +234,11 @@ test.cpp:
# 32| m0_40(int) = Store : &:r0_39, r0_38
# 32| valnum = r0_34
# 33| v0_41(void) = NoOp :
# 25| v0_42(void) = ReturnValue :
# 25| v0_43(void) = UnmodeledUse : mu*
# 25| v0_44(void) = ExitFunction :
# 25| r0_42(glval<int>) = VariableAddress[#return] :
# 25| valnum = unique
# 25| v0_43(void) = ReturnValue : &:r0_42
# 25| v0_44(void) = UnmodeledUse : mu*
# 25| v0_45(void) = ExitFunction :
# 39| int test03(int, int, int*)
# 39| Block 0
@@ -331,9 +337,11 @@ test.cpp:
# 46| valnum = r0_40
# 47| v0_47(void) = NoOp :
# 39| v0_48(void) = ReturnIndirection : &:r0_9, ~m0_32
# 39| v0_49(void) = ReturnValue :
# 39| v0_50(void) = UnmodeledUse : mu*
# 39| v0_51(void) = ExitFunction :
# 39| r0_49(glval<int>) = VariableAddress[#return] :
# 39| valnum = unique
# 39| v0_50(void) = ReturnValue : &:r0_49
# 39| v0_51(void) = UnmodeledUse : mu*
# 39| v0_52(void) = ExitFunction :
# 49| unsigned int my_strspn(char const*, char const*)
# 49| Block 0
@@ -496,7 +504,7 @@ test.cpp:
# 63| Block 9
# 63| v9_0(void) = NoOp :
# 65| r9_1(glval<unsigned int>) = VariableAddress[#return] :
# 65| valnum = unique
# 65| valnum = r9_1
# 65| r9_2(glval<unsigned int>) = VariableAddress[result] :
# 65| valnum = r0_15
# 65| r9_3(unsigned int) = Load : &:r9_2, m1_0
@@ -505,9 +513,11 @@ test.cpp:
# 65| valnum = m1_0
# 49| v9_5(void) = ReturnIndirection : &:r0_5, ~m0_12
# 49| v9_6(void) = ReturnIndirection : &:r0_10, ~m0_12
# 49| v9_7(void) = ReturnValue : ~m0_12
# 49| v9_8(void) = UnmodeledUse : mu*
# 49| v9_9(void) = ExitFunction :
# 49| r9_7(glval<unsigned int>) = VariableAddress[#return] :
# 49| valnum = r9_1
# 49| v9_8(void) = ReturnValue : &:r9_7, m9_4
# 49| v9_9(void) = UnmodeledUse : mu*
# 49| v9_10(void) = ExitFunction :
# 75| void test04(two_values*)
# 75| Block 0
@@ -596,6 +606,9 @@ test.cpp:
# 82| valnum = unique
# 82| v2_1(void) = NoOp :
# 75| v2_2(void) = ReturnIndirection : &:r0_5, ~m2_0
# 75| v2_3(void) = ReturnVoid :
# 75| v2_4(void) = UnmodeledUse : mu*
# 75| v2_5(void) = ExitFunction :
# 84| void test05(int, int, void*)
# 84| Block 0
@@ -651,6 +664,9 @@ test.cpp:
# 88| valnum = m1_0
# 89| v1_5(void) = NoOp :
# 84| v1_6(void) = ReturnIndirection : &:r0_9, ~m0_11
# 84| v1_7(void) = ReturnVoid :
# 84| v1_8(void) = UnmodeledUse : mu*
# 84| v1_9(void) = ExitFunction :
# 88| Block 2
# 88| r2_0(glval<int>) = VariableAddress[x] :
@@ -676,32 +692,34 @@ test.cpp:
# 91| int regression_test00()
# 91| Block 0
# 91| v0_0(void) = EnterFunction :
# 91| m0_1(unknown) = AliasedDefinition :
# 91| v0_0(void) = EnterFunction :
# 91| m0_1(unknown) = AliasedDefinition :
# 91| valnum = unique
# 91| mu0_2(unknown) = UnmodeledDefinition :
# 91| mu0_2(unknown) = UnmodeledDefinition :
# 91| valnum = unique
# 92| r0_3(glval<int>) = VariableAddress[x] :
# 92| r0_3(glval<int>) = VariableAddress[x] :
# 92| valnum = r0_3
# 92| r0_4(int) = Constant[10] :
# 92| r0_4(int) = Constant[10] :
# 92| valnum = r0_4
# 92| r0_5(glval<int>) = VariableAddress[x] :
# 92| r0_5(glval<int>) = VariableAddress[x] :
# 92| valnum = r0_3
# 92| m0_6(int) = Store : &:r0_5, r0_4
# 92| m0_6(int) = Store : &:r0_5, r0_4
# 92| valnum = r0_4
# 92| m0_7(int) = Store : &:r0_3, r0_4
# 92| m0_7(int) = Store : &:r0_3, r0_4
# 92| valnum = r0_4
# 93| r0_8(glval<int>) = VariableAddress[#return] :
# 93| valnum = unique
# 93| r0_9(glval<int>) = VariableAddress[x] :
# 93| r0_8(glval<int>) = VariableAddress[#return] :
# 93| valnum = r0_8
# 93| r0_9(glval<int>) = VariableAddress[x] :
# 93| valnum = r0_3
# 93| r0_10(int) = Load : &:r0_9, m0_7
# 93| r0_10(int) = Load : &:r0_9, m0_7
# 93| valnum = r0_4
# 93| m0_11(int) = Store : &:r0_8, r0_10
# 93| m0_11(int) = Store : &:r0_8, r0_10
# 93| valnum = r0_4
# 91| v0_12(void) = ReturnValue : ~m0_1
# 91| v0_13(void) = UnmodeledUse : mu*
# 91| v0_14(void) = ExitFunction :
# 91| r0_12(glval<int>) = VariableAddress[#return] :
# 91| valnum = r0_8
# 91| v0_13(void) = ReturnValue : &:r0_12, m0_11
# 91| v0_14(void) = UnmodeledUse : mu*
# 91| v0_15(void) = ExitFunction :
# 104| int inheritanceConversions(Derived*)
# 104| Block 0
@@ -757,7 +775,7 @@ test.cpp:
# 107| m0_25(int) = Store : &:r0_20, r0_24
# 107| valnum = r0_24
# 109| r0_26(glval<int>) = VariableAddress[#return] :
# 109| valnum = unique
# 109| valnum = r0_26
# 109| r0_27(glval<int>) = VariableAddress[y] :
# 109| valnum = r0_20
# 109| r0_28(int) = Load : &:r0_27, m0_25
@@ -765,9 +783,11 @@ test.cpp:
# 109| m0_29(int) = Store : &:r0_26, r0_28
# 109| valnum = r0_24
# 104| v0_30(void) = ReturnIndirection : &:r0_5, ~m0_7
# 104| v0_31(void) = ReturnValue : ~m0_7
# 104| v0_32(void) = UnmodeledUse : mu*
# 104| v0_33(void) = ExitFunction :
# 104| r0_31(glval<int>) = VariableAddress[#return] :
# 104| valnum = r0_26
# 104| v0_32(void) = ReturnValue : &:r0_31, m0_29
# 104| v0_33(void) = UnmodeledUse : mu*
# 104| v0_34(void) = ExitFunction :
# 112| void test06()
# 112| Block 0
@@ -785,3 +805,6 @@ test.cpp:
# 116| r0_6(glval<char[2]>) = StringConstant["c"] :
# 116| valnum = unique
# 117| v0_7(void) = NoOp :
# 112| v0_8(void) = ReturnVoid :
# 112| v0_9(void) = UnmodeledUse : mu*
# 112| v0_10(void) = ExitFunction :