mirror of
https://github.com/github/codeql.git
synced 2026-04-28 18:25:24 +02:00
C++: autoformat and accept test changes
This commit is contained in:
Robert Marsh
@@ -348,7 +348,9 @@ predicate tainted(Expr source, Element tainted) {
|
||||
)
|
||||
}
|
||||
|
||||
predicate tainted_instruction(Function sourceFunc,Instruction source, Function sinkFunc, Instruction sink) {
|
||||
predicate tainted_instruction(
|
||||
Function sourceFunc, Instruction source, Function sinkFunc, Instruction sink
|
||||
) {
|
||||
sourceFunc = source.getEnclosingFunction() and
|
||||
sinkFunc = sink.getEnclosingFunction() and
|
||||
exists(DefaultTaintTrackingCfg cfg |
|
||||
|
||||
@@ -24,7 +24,7 @@ class ArgumentNode extends Node {
|
||||
DataFlowCall getCall() { this.argumentOf(result, _) }
|
||||
}
|
||||
|
||||
private newtype TReturnKind =
|
||||
private newtype TReturnKind =
|
||||
TNormalReturnKind() or
|
||||
TIndirectReturnKind(ParameterIndex index)
|
||||
|
||||
@@ -44,20 +44,23 @@ private class NormalReturnKind extends ReturnKind, TNormalReturnKind {
|
||||
private class IndirectReturnKind extends ReturnKind, TIndirectReturnKind {
|
||||
ParameterIndex index;
|
||||
|
||||
IndirectReturnKind() {
|
||||
this = TIndirectReturnKind(index)
|
||||
}
|
||||
IndirectReturnKind() { this = TIndirectReturnKind(index) }
|
||||
|
||||
override string toString() { result = "outparam[" + index.toString() +"]" }
|
||||
override string toString() { result = "outparam[" + index.toString() + "]" }
|
||||
}
|
||||
|
||||
/** A data flow node that occurs as the result of a `ReturnStmt`. */
|
||||
class ReturnNode extends Node {
|
||||
Instruction primary;
|
||||
|
||||
ReturnNode() {
|
||||
exists(ReturnValueInstruction ret | this.asInstruction() = ret.getReturnValue() and primary = ret)
|
||||
exists(ReturnValueInstruction ret |
|
||||
this.asInstruction() = ret.getReturnValue() and primary = ret
|
||||
)
|
||||
or
|
||||
exists(ReturnIndirectionInstruction rii | this.asInstruction() = rii.getSideEffectOperand().getAnyDef() and primary = rii)
|
||||
exists(ReturnIndirectionInstruction rii |
|
||||
this.asInstruction() = rii.getSideEffectOperand().getAnyDef() and primary = rii
|
||||
)
|
||||
}
|
||||
|
||||
/** Gets the kind of this returned value. */
|
||||
@@ -67,13 +70,13 @@ class ReturnNode extends Node {
|
||||
class ReturnValueNode extends ReturnNode {
|
||||
override ReturnValueInstruction primary;
|
||||
|
||||
override ReturnKind getKind() { result = TNormalReturnKind() }
|
||||
override ReturnKind getKind() { result = TNormalReturnKind() }
|
||||
}
|
||||
|
||||
class ReturnIndirectionNode extends ReturnNode {
|
||||
override ReturnIndirectionInstruction primary;
|
||||
|
||||
override ReturnKind getKind() { result = TIndirectReturnKind(primary.getParameter().getIndex()) }
|
||||
override ReturnKind getKind() { result = TIndirectReturnKind(primary.getParameter().getIndex()) }
|
||||
}
|
||||
|
||||
/** A data flow node that represents the output of a call. */
|
||||
@@ -92,26 +95,19 @@ class OutNode extends Node {
|
||||
private class CallOutNode extends OutNode {
|
||||
override CallInstruction instr;
|
||||
|
||||
override DataFlowCall getCall() {
|
||||
result = instr
|
||||
}
|
||||
override DataFlowCall getCall() { result = instr }
|
||||
|
||||
override ReturnKind getReturnKind() {
|
||||
result instanceof NormalReturnKind
|
||||
}
|
||||
override ReturnKind getReturnKind() { result instanceof NormalReturnKind }
|
||||
}
|
||||
|
||||
private class SideEffectOutNode extends OutNode {
|
||||
override WriteSideEffectInstruction instr;
|
||||
|
||||
override DataFlowCall getCall() {
|
||||
result = instr.getPrimaryInstruction()
|
||||
}
|
||||
override DataFlowCall getCall() { result = instr.getPrimaryInstruction() }
|
||||
|
||||
override ReturnKind getReturnKind() {
|
||||
result = TIndirectReturnKind(instr.getIndex())
|
||||
}
|
||||
override ReturnKind getReturnKind() { result = TIndirectReturnKind(instr.getIndex()) }
|
||||
}
|
||||
|
||||
/**
|
||||
* Gets a node that can read the value returned from `call` with return kind
|
||||
* `kind`.
|
||||
|
||||
@@ -1,8 +1,11 @@
|
||||
missingOperand
|
||||
| ir.cpp:736:5:736:19 | Chi: call to String | Instruction 'Chi' is missing an expected operand with tag 'ChiTotal' in function '$@'. | ir.cpp:724:6:724:13 | IR: TryCatch | void TryCatch(bool) |
|
||||
| ir.cpp:809:7:809:13 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | IR: HierarchyConversions | void HierarchyConversions() |
|
||||
| ir.cpp:810:7:810:26 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | IR: HierarchyConversions | void HierarchyConversions() |
|
||||
| ir.cpp:823:7:823:13 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | IR: HierarchyConversions | void HierarchyConversions() |
|
||||
| ir.cpp:824:7:824:26 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | IR: HierarchyConversions | void HierarchyConversions() |
|
||||
| ir.cpp:1145:5:1145:19 | Chi: call to String | Instruction 'Chi' is missing an expected operand with tag 'ChiTotal' in function '$@'. | ir.cpp:1133:6:1133:23 | IR: TryCatchNoCatchAny | void TryCatchNoCatchAny(bool) |
|
||||
| ir.cpp:1170:3:1170:33 | Chi: call to String | Instruction 'Chi' is missing an expected operand with tag 'ChiTotal' in function '$@'. | ir.cpp:1169:8:1169:30 | IR: ReturnConstructorResult | String ReturnConstructorResult() |
|
||||
unexpectedOperand
|
||||
duplicateOperand
|
||||
missingPhiOperand
|
||||
|
||||
@@ -79,7 +79,7 @@ bad_asts.cpp:
|
||||
# 27| r27_6(Point) = Load : &:r27_5, ~mu26_4
|
||||
# 27| mu27_7(Point) = Store : &:r27_1, r27_6
|
||||
# 28| v28_1(void) = NoOp :
|
||||
# 26| v26_9(void) = ReturnIndirection : &:r26_7, ~mu26_4
|
||||
# 26| v26_9(void) = ReturnIndirection[a] : &:r26_7, ~mu26_4
|
||||
# 26| v26_10(void) = ReturnVoid :
|
||||
# 26| v26_11(void) = UnmodeledUse : mu*
|
||||
# 26| v26_12(void) = AliasedUse : ~mu26_4
|
||||
@@ -836,7 +836,7 @@ ir.cpp:
|
||||
# 168| r168_6(glval<bool>) = VariableAddress[b] :
|
||||
# 168| mu168_7(bool) = Store : &:r168_6, r168_5
|
||||
# 169| v169_1(void) = NoOp :
|
||||
# 153| v153_11(void) = ReturnIndirection : &:r153_7, ~mu153_4
|
||||
# 153| v153_11(void) = ReturnIndirection[p] : &:r153_7, ~mu153_4
|
||||
# 153| v153_12(void) = ReturnVoid :
|
||||
# 153| v153_13(void) = UnmodeledUse : mu*
|
||||
# 153| v153_14(void) = AliasedUse : ~mu153_4
|
||||
@@ -923,7 +923,7 @@ ir.cpp:
|
||||
# 184| r184_7(glval<int>) = PointerAdd[4] : r184_4, r184_6
|
||||
# 184| mu184_8(int) = Store : &:r184_7, r184_2
|
||||
# 185| v185_1(void) = NoOp :
|
||||
# 171| v171_11(void) = ReturnIndirection : &:r171_7, ~mu171_4
|
||||
# 171| v171_11(void) = ReturnIndirection[p] : &:r171_7, ~mu171_4
|
||||
# 171| v171_12(void) = ReturnVoid :
|
||||
# 171| v171_13(void) = UnmodeledUse : mu*
|
||||
# 171| v171_14(void) = AliasedUse : ~mu171_4
|
||||
@@ -1023,8 +1023,8 @@ ir.cpp:
|
||||
# 201| r201_6(glval<bool>) = VariableAddress[b] :
|
||||
# 201| mu201_7(bool) = Store : &:r201_6, r201_5
|
||||
# 202| v202_1(void) = NoOp :
|
||||
# 193| v193_13(void) = ReturnIndirection : &:r193_7, ~mu193_4
|
||||
# 193| v193_14(void) = ReturnIndirection : &:r193_11, ~mu193_4
|
||||
# 193| v193_13(void) = ReturnIndirection[p] : &:r193_7, ~mu193_4
|
||||
# 193| v193_14(void) = ReturnIndirection[q] : &:r193_11, ~mu193_4
|
||||
# 193| v193_15(void) = ReturnVoid :
|
||||
# 193| v193_16(void) = UnmodeledUse : mu*
|
||||
# 193| v193_17(void) = AliasedUse : ~mu193_4
|
||||
@@ -1073,7 +1073,7 @@ ir.cpp:
|
||||
# 210| r210_7(glval<int *>) = VariableAddress[q] :
|
||||
# 210| mu210_8(int *) = Store : &:r210_7, r210_6
|
||||
# 211| v211_1(void) = NoOp :
|
||||
# 204| v204_9(void) = ReturnIndirection : &:r204_7, ~mu204_4
|
||||
# 204| v204_9(void) = ReturnIndirection[p] : &:r204_7, ~mu204_4
|
||||
# 204| v204_10(void) = ReturnVoid :
|
||||
# 204| v204_11(void) = UnmodeledUse : mu*
|
||||
# 204| v204_12(void) = AliasedUse : ~mu204_4
|
||||
@@ -1684,7 +1684,7 @@ ir.cpp:
|
||||
# 343| r343_3(int *) = Load : &:r343_2, ~mu341_4
|
||||
# 343| r343_4(int) = Load : &:r343_3, ~mu341_4
|
||||
# 343| mu343_5(int) = Store : &:r343_1, r343_4
|
||||
# 341| v341_9(void) = ReturnIndirection : &:r341_7, ~mu341_4
|
||||
# 341| v341_9(void) = ReturnIndirection[p] : &:r341_7, ~mu341_4
|
||||
# 341| r341_10(glval<int>) = VariableAddress[#return] :
|
||||
# 341| v341_11(void) = ReturnValue : &:r341_10, ~mu341_4
|
||||
# 341| v341_12(void) = UnmodeledUse : mu*
|
||||
@@ -2984,8 +2984,8 @@ ir.cpp:
|
||||
# 625| v625_6(void) = ^BufferReadSideEffect[-1] : &:r625_2, ~mu622_4
|
||||
# 625| mu625_7(String) = ^IndirectMayWriteSideEffect[-1] : &:r625_2
|
||||
# 626| v626_1(void) = NoOp :
|
||||
# 622| v622_15(void) = ReturnIndirection : &:r622_7, ~mu622_4
|
||||
# 622| v622_16(void) = ReturnIndirection : &:r622_11, ~mu622_4
|
||||
# 622| v622_15(void) = ReturnIndirection[r] : &:r622_7, ~mu622_4
|
||||
# 622| v622_16(void) = ReturnIndirection[p] : &:r622_11, ~mu622_4
|
||||
# 622| v622_17(void) = ReturnVoid :
|
||||
# 622| v622_18(void) = UnmodeledUse : mu*
|
||||
# 622| v622_19(void) = AliasedUse : ~mu622_4
|
||||
@@ -3177,7 +3177,7 @@ ir.cpp:
|
||||
# 676| r676_3(int &) = Load : &:r676_2, ~mu675_4
|
||||
# 676| r676_4(int) = Load : &:r676_3, ~mu675_4
|
||||
# 676| mu676_5(int) = Store : &:r676_1, r676_4
|
||||
# 675| v675_9(void) = ReturnIndirection : &:r675_7, ~mu675_4
|
||||
# 675| v675_9(void) = ReturnIndirection[r] : &:r675_7, ~mu675_4
|
||||
# 675| r675_10(glval<int>) = VariableAddress[#return] :
|
||||
# 675| v675_11(void) = ReturnValue : &:r675_10, ~mu675_4
|
||||
# 675| v675_12(void) = UnmodeledUse : mu*
|
||||
@@ -3370,7 +3370,7 @@ ir.cpp:
|
||||
# 716| r716_1(glval<long>) = VariableAddress[#return] :
|
||||
# 716| r716_2(long) = Constant[0] :
|
||||
# 716| mu716_3(long) = Store : &:r716_1, r716_2
|
||||
# 715| v715_11(void) = ReturnIndirection : &:r715_7, ~mu715_4
|
||||
# 715| v715_11(void) = ReturnIndirection[x] : &:r715_7, ~mu715_4
|
||||
# 715| r715_12(glval<long>) = VariableAddress[#return] :
|
||||
# 715| v715_13(void) = ReturnValue : &:r715_12, ~mu715_4
|
||||
# 715| v715_14(void) = UnmodeledUse : mu*
|
||||
@@ -3557,7 +3557,7 @@ ir.cpp:
|
||||
#-----| r0_20(glval<Base>) = CopyValue : r0_19
|
||||
#-----| r0_21(Base &) = CopyValue : r0_20
|
||||
#-----| mu0_22(Base &) = Store : &:r0_18, r0_21
|
||||
#-----| v0_23(void) = ReturnIndirection : &:r0_3, ~mu745_4
|
||||
#-----| v0_23(void) = ReturnIndirection[p#0] : &:r0_3, ~mu745_4
|
||||
# 745| r745_9(glval<Base &>) = VariableAddress[#return] :
|
||||
# 745| v745_10(void) = ReturnValue : &:r745_9, ~mu745_4
|
||||
# 745| v745_11(void) = UnmodeledUse : mu*
|
||||
@@ -3581,7 +3581,7 @@ ir.cpp:
|
||||
# 745| mu745_9(unknown) = ^CallSideEffect : ~mu745_4
|
||||
# 745| mu745_10(String) = ^IndirectMayWriteSideEffect[-1] : &:r745_6
|
||||
# 745| v745_11(void) = NoOp :
|
||||
#-----| v0_5(void) = ReturnIndirection : &:r0_3, ~mu745_4
|
||||
#-----| v0_5(void) = ReturnIndirection[p#0] : &:r0_3, ~mu745_4
|
||||
# 745| v745_12(void) = ReturnVoid :
|
||||
# 745| v745_13(void) = UnmodeledUse : mu*
|
||||
# 745| v745_14(void) = AliasedUse : ~mu745_4
|
||||
@@ -3671,7 +3671,7 @@ ir.cpp:
|
||||
#-----| r0_34(glval<Middle>) = CopyValue : r0_33
|
||||
#-----| r0_35(Middle &) = CopyValue : r0_34
|
||||
#-----| mu0_36(Middle &) = Store : &:r0_32, r0_35
|
||||
#-----| v0_37(void) = ReturnIndirection : &:r0_3, ~mu754_4
|
||||
#-----| v0_37(void) = ReturnIndirection[p#0] : &:r0_3, ~mu754_4
|
||||
# 754| r754_12(glval<Middle &>) = VariableAddress[#return] :
|
||||
# 754| v754_13(void) = ReturnValue : &:r754_12, ~mu754_4
|
||||
# 754| v754_14(void) = UnmodeledUse : mu*
|
||||
@@ -3771,7 +3771,7 @@ ir.cpp:
|
||||
#-----| r0_34(glval<Derived>) = CopyValue : r0_33
|
||||
#-----| r0_35(Derived &) = CopyValue : r0_34
|
||||
#-----| mu0_36(Derived &) = Store : &:r0_32, r0_35
|
||||
#-----| v0_37(void) = ReturnIndirection : &:r0_3, ~mu763_4
|
||||
#-----| v0_37(void) = ReturnIndirection[p#0] : &:r0_3, ~mu763_4
|
||||
# 763| r763_12(glval<Derived &>) = VariableAddress[#return] :
|
||||
# 763| v763_13(void) = ReturnValue : &:r763_12, ~mu763_4
|
||||
# 763| v763_14(void) = UnmodeledUse : mu*
|
||||
@@ -4328,10 +4328,10 @@ ir.cpp:
|
||||
#-----| mu0_4(PolymorphicBase) = ^IndirectMayWriteSideEffect[-1] : &:r850_1
|
||||
# 851| r851_1(glval<PolymorphicDerived>) = VariableAddress[d] :
|
||||
# 851| mu851_2(PolymorphicDerived) = Uninitialized[d] : &:r851_1
|
||||
#-----| r0_5(glval<unknown>) = FunctionAddress[PolymorphicDerived] :
|
||||
#-----| v0_6(void) = Call : func:r0_5, this:r851_1
|
||||
#-----| mu0_7(unknown) = ^CallSideEffect : ~mu849_4
|
||||
#-----| mu0_8(PolymorphicDerived) = ^IndirectMayWriteSideEffect[-1] : &:r851_1
|
||||
# 851| r851_3(glval<unknown>) = FunctionAddress[PolymorphicDerived] :
|
||||
# 851| v851_4(void) = Call : func:r851_3, this:r851_1
|
||||
# 851| mu851_5(unknown) = ^CallSideEffect : ~mu849_4
|
||||
# 851| mu851_6(PolymorphicDerived) = ^IndirectMayWriteSideEffect[-1] : &:r851_1
|
||||
# 853| r853_1(glval<PolymorphicBase *>) = VariableAddress[pb] :
|
||||
# 853| r853_2(glval<PolymorphicBase>) = VariableAddress[b] :
|
||||
# 853| r853_3(PolymorphicBase *) = CopyValue : r853_2
|
||||
@@ -4475,7 +4475,7 @@ ir.cpp:
|
||||
# 885| r885_4(glval<..(*)(..)>) = VariableAddress[pfn] :
|
||||
# 885| mu885_5(..(*)(..)) = Store : &:r885_4, r885_3
|
||||
# 886| v886_1(void) = NoOp :
|
||||
# 883| v883_11(void) = ReturnIndirection : &:r883_9, ~mu883_4
|
||||
# 883| v883_11(void) = ReturnIndirection[p] : &:r883_9, ~mu883_4
|
||||
# 883| v883_12(void) = ReturnVoid :
|
||||
# 883| v883_13(void) = UnmodeledUse : mu*
|
||||
# 883| v883_14(void) = AliasedUse : ~mu883_4
|
||||
@@ -4959,7 +4959,7 @@ ir.cpp:
|
||||
# 988| mu988_11(unknown) = ^CallSideEffect : ~mu987_4
|
||||
# 988| r988_12(int) = Add : r988_6, r988_10
|
||||
# 988| mu988_13(int) = Store : &:r988_1, r988_12
|
||||
# 987| v987_11(void) = ReturnIndirection : &:r987_7, ~mu987_4
|
||||
# 987| v987_11(void) = ReturnIndirection[a] : &:r987_7, ~mu987_4
|
||||
# 987| r987_12(glval<int>) = VariableAddress[#return] :
|
||||
# 987| v987_13(void) = ReturnValue : &:r987_12, ~mu987_4
|
||||
# 987| v987_14(void) = UnmodeledUse : mu*
|
||||
@@ -5269,7 +5269,7 @@ ir.cpp:
|
||||
# 1046| v1046_7(void) = ^BufferReadSideEffect[-1] : &:r1046_2, ~mu1031_4
|
||||
# 1046| mu1046_8(decltype([...](...){...})) = ^IndirectMayWriteSideEffect[-1] : &:r1046_2
|
||||
# 1047| v1047_1(void) = NoOp :
|
||||
# 1031| v1031_11(void) = ReturnIndirection : &:r1031_9, ~mu1031_4
|
||||
# 1031| v1031_11(void) = ReturnIndirection[s] : &:r1031_9, ~mu1031_4
|
||||
# 1031| v1031_12(void) = ReturnVoid :
|
||||
# 1031| v1031_13(void) = UnmodeledUse : mu*
|
||||
# 1031| v1031_14(void) = AliasedUse : ~mu1031_4
|
||||
@@ -5620,13 +5620,13 @@ ir.cpp:
|
||||
#-----| Goto -> Block 5
|
||||
|
||||
# 1079| Block 5
|
||||
# 1079| v1079_1(void) = NoOp :
|
||||
# 1080| v1080_1(void) = NoOp :
|
||||
# 1068| v1068_9(void) = ReturnIndirection : &:r1068_7, ~mu1068_4
|
||||
# 1068| v1068_10(void) = ReturnVoid :
|
||||
# 1068| v1068_11(void) = UnmodeledUse : mu*
|
||||
# 1068| v1068_12(void) = AliasedUse : ~mu1068_4
|
||||
# 1068| v1068_13(void) = ExitFunction :
|
||||
# 1079| v1079_1(void) = NoOp :
|
||||
# 1080| v1080_1(void) = NoOp :
|
||||
# 1068| v1068_9(void) = ReturnIndirection[v] : &:r1068_7, ~mu1068_4
|
||||
# 1068| v1068_10(void) = ReturnVoid :
|
||||
# 1068| v1068_11(void) = UnmodeledUse : mu*
|
||||
# 1068| v1068_12(void) = AliasedUse : ~mu1068_4
|
||||
# 1068| v1068_13(void) = ExitFunction :
|
||||
|
||||
#-----| Block 6
|
||||
#-----| r0_24(glval<iterator>) = VariableAddress[(__begin)] :
|
||||
@@ -5753,8 +5753,8 @@ ir.cpp:
|
||||
# 1109| r1109_9(unsigned int) = Load : &:r1109_8, ~mu1104_4
|
||||
# 1106| mu1106_1(unknown) = InlineAsm : ~mu1104_4, 0:r1109_3, 1:r1109_4, 2:r1109_7, 3:r1109_9
|
||||
# 1111| v1111_1(void) = NoOp :
|
||||
# 1104| v1104_17(void) = ReturnIndirection : &:r1104_7, ~mu1104_4
|
||||
# 1104| v1104_18(void) = ReturnIndirection : &:r1104_13, ~mu1104_4
|
||||
# 1104| v1104_17(void) = ReturnIndirection[a] : &:r1104_7, ~mu1104_4
|
||||
# 1104| v1104_18(void) = ReturnIndirection[c] : &:r1104_13, ~mu1104_4
|
||||
# 1104| v1104_19(void) = ReturnVoid :
|
||||
# 1104| v1104_20(void) = UnmodeledUse : mu*
|
||||
# 1104| v1104_21(void) = AliasedUse : ~mu1104_4
|
||||
|
||||
@@ -89,7 +89,7 @@ ssa.cpp:
|
||||
# 28| r28_12(int) = Load : &:r28_11, m28_1
|
||||
# 28| r28_13(int) = Add : r28_8, r28_12
|
||||
# 28| m28_14(int) = Store : &:r28_4, r28_13
|
||||
# 13| v13_14(void) = ReturnIndirection : &:r13_8, m28_3
|
||||
# 13| v13_14(void) = ReturnIndirection[p] : &:r13_8, m28_3
|
||||
# 13| r13_15(glval<int>) = VariableAddress[#return] :
|
||||
# 13| v13_16(void) = ReturnValue : &:r13_15, m28_14
|
||||
# 13| v13_17(void) = UnmodeledUse : mu*
|
||||
@@ -257,12 +257,12 @@ ssa.cpp:
|
||||
#-----| Goto (back edge) -> Block 1
|
||||
|
||||
# 71| Block 3
|
||||
# 71| v71_1(void) = NoOp :
|
||||
# 68| v68_12(void) = ReturnIndirection : &:r68_10, m68_11
|
||||
# 68| v68_13(void) = ReturnVoid :
|
||||
# 68| v68_14(void) = UnmodeledUse : mu*
|
||||
# 68| v68_15(void) = AliasedUse : ~m69_3
|
||||
# 68| v68_16(void) = ExitFunction :
|
||||
# 71| v71_1(void) = NoOp :
|
||||
# 68| v68_12(void) = ReturnIndirection[p] : &:r68_10, m68_11
|
||||
# 68| v68_13(void) = ReturnVoid :
|
||||
# 68| v68_14(void) = UnmodeledUse : mu*
|
||||
# 68| v68_15(void) = AliasedUse : ~m69_3
|
||||
# 68| v68_16(void) = ExitFunction :
|
||||
|
||||
# 75| void ScalarPhi(bool)
|
||||
# 75| Block 0
|
||||
@@ -806,7 +806,7 @@ ssa.cpp:
|
||||
# 181| r181_3(int *) = Load : &:r181_2, m179_7
|
||||
# 181| r181_4(int) = Load : &:r181_3, ~m179_9
|
||||
# 181| m181_5(int) = Store : &:r181_1, r181_4
|
||||
# 179| v179_10(void) = ReturnIndirection : &:r179_8, m179_9
|
||||
# 179| v179_10(void) = ReturnIndirection[p] : &:r179_8, m179_9
|
||||
# 179| r179_11(glval<int>) = VariableAddress[#return] :
|
||||
# 179| v179_12(void) = ReturnValue : &:r179_11, m181_5
|
||||
# 179| v179_13(void) = UnmodeledUse : mu*
|
||||
@@ -851,10 +851,10 @@ ssa.cpp:
|
||||
# 186| m186_1(unknown) = InlineAsm : ~m184_13, 0:r189_3, 1:r189_6, 2:r190_3, 3:r190_6
|
||||
# 186| m186_2(unknown) = Chi : total:m184_13, partial:m186_1
|
||||
# 192| v192_1(void) = NoOp :
|
||||
# 184| v184_22(void) = ReturnIndirection : &:r184_8, ~m186_2
|
||||
# 184| v184_23(void) = ReturnIndirection : &:r184_12, ~m186_2
|
||||
# 184| v184_24(void) = ReturnIndirection : &:r184_16, m184_17
|
||||
# 184| v184_25(void) = ReturnIndirection : &:r184_20, m184_21
|
||||
# 184| v184_22(void) = ReturnIndirection[a] : &:r184_8, ~m186_2
|
||||
# 184| v184_23(void) = ReturnIndirection[b] : &:r184_12, ~m186_2
|
||||
# 184| v184_24(void) = ReturnIndirection[c] : &:r184_16, m184_17
|
||||
# 184| v184_25(void) = ReturnIndirection[d] : &:r184_20, m184_21
|
||||
# 184| v184_26(void) = ReturnVoid :
|
||||
# 184| v184_27(void) = UnmodeledUse : mu*
|
||||
# 184| v184_28(void) = AliasedUse : ~m186_2
|
||||
@@ -913,8 +913,8 @@ ssa.cpp:
|
||||
# 202| r202_2(glval<int>) = VariableAddress[ret] :
|
||||
# 202| r202_3(int) = Load : &:r202_2, m201_8
|
||||
# 202| m202_4(int) = Store : &:r202_1, r202_3
|
||||
# 198| v198_16(void) = ReturnIndirection : &:r198_8, m198_9
|
||||
# 198| v198_17(void) = ReturnIndirection : &:r198_12, m198_13
|
||||
# 198| v198_16(void) = ReturnIndirection[str1] : &:r198_8, m198_9
|
||||
# 198| v198_17(void) = ReturnIndirection[str2] : &:r198_12, m198_13
|
||||
# 198| r198_18(glval<int>) = VariableAddress[#return] :
|
||||
# 198| v198_19(void) = ReturnValue : &:r198_18, m202_4
|
||||
# 198| v198_20(void) = UnmodeledUse : mu*
|
||||
@@ -1186,7 +1186,7 @@ ssa.cpp:
|
||||
# 251| r251_2(glval<char *>) = VariableAddress[dst] :
|
||||
# 251| r251_3(char *) = Load : &:r251_2, m248_12
|
||||
# 251| m251_4(char *) = Store : &:r251_1, r251_3
|
||||
# 247| v247_12(void) = ReturnIndirection : &:r247_8, ~m250_13
|
||||
# 247| v247_12(void) = ReturnIndirection[src] : &:r247_8, ~m250_13
|
||||
# 247| r247_13(glval<char *>) = VariableAddress[#return] :
|
||||
# 247| v247_14(void) = ReturnValue : &:r247_13, m251_4
|
||||
# 247| v247_15(void) = UnmodeledUse : mu*
|
||||
|
||||
@@ -89,7 +89,7 @@ ssa.cpp:
|
||||
# 28| r28_12(int) = Load : &:r28_11, m28_1
|
||||
# 28| r28_13(int) = Add : r28_8, r28_12
|
||||
# 28| m28_14(int) = Store : &:r28_4, r28_13
|
||||
# 13| v13_14(void) = ReturnIndirection : &:r13_8, m28_3
|
||||
# 13| v13_14(void) = ReturnIndirection[p] : &:r13_8, m28_3
|
||||
# 13| r13_15(glval<int>) = VariableAddress[#return] :
|
||||
# 13| v13_16(void) = ReturnValue : &:r13_15, m28_14
|
||||
# 13| v13_17(void) = UnmodeledUse : mu*
|
||||
@@ -257,12 +257,12 @@ ssa.cpp:
|
||||
#-----| Goto (back edge) -> Block 1
|
||||
|
||||
# 71| Block 3
|
||||
# 71| v71_1(void) = NoOp :
|
||||
# 68| v68_12(void) = ReturnIndirection : &:r68_10, m68_11
|
||||
# 68| v68_13(void) = ReturnVoid :
|
||||
# 68| v68_14(void) = UnmodeledUse : mu*
|
||||
# 68| v68_15(void) = AliasedUse : ~m69_3
|
||||
# 68| v68_16(void) = ExitFunction :
|
||||
# 71| v71_1(void) = NoOp :
|
||||
# 68| v68_12(void) = ReturnIndirection[p] : &:r68_10, m68_11
|
||||
# 68| v68_13(void) = ReturnVoid :
|
||||
# 68| v68_14(void) = UnmodeledUse : mu*
|
||||
# 68| v68_15(void) = AliasedUse : ~m69_3
|
||||
# 68| v68_16(void) = ExitFunction :
|
||||
|
||||
# 75| void ScalarPhi(bool)
|
||||
# 75| Block 0
|
||||
@@ -803,7 +803,7 @@ ssa.cpp:
|
||||
# 181| r181_3(int *) = Load : &:r181_2, m179_7
|
||||
# 181| r181_4(int) = Load : &:r181_3, ~m179_9
|
||||
# 181| m181_5(int) = Store : &:r181_1, r181_4
|
||||
# 179| v179_10(void) = ReturnIndirection : &:r179_8, m179_9
|
||||
# 179| v179_10(void) = ReturnIndirection[p] : &:r179_8, m179_9
|
||||
# 179| r179_11(glval<int>) = VariableAddress[#return] :
|
||||
# 179| v179_12(void) = ReturnValue : &:r179_11, m181_5
|
||||
# 179| v179_13(void) = UnmodeledUse : mu*
|
||||
@@ -848,10 +848,10 @@ ssa.cpp:
|
||||
# 186| m186_1(unknown) = InlineAsm : ~m184_4, 0:r189_3, 1:r189_6, 2:r190_3, 3:r190_6
|
||||
# 186| m186_2(unknown) = Chi : total:m184_4, partial:m186_1
|
||||
# 192| v192_1(void) = NoOp :
|
||||
# 184| v184_22(void) = ReturnIndirection : &:r184_8, m184_9
|
||||
# 184| v184_23(void) = ReturnIndirection : &:r184_12, m184_13
|
||||
# 184| v184_24(void) = ReturnIndirection : &:r184_16, m184_17
|
||||
# 184| v184_25(void) = ReturnIndirection : &:r184_20, m184_21
|
||||
# 184| v184_22(void) = ReturnIndirection[a] : &:r184_8, m184_9
|
||||
# 184| v184_23(void) = ReturnIndirection[b] : &:r184_12, m184_13
|
||||
# 184| v184_24(void) = ReturnIndirection[c] : &:r184_16, m184_17
|
||||
# 184| v184_25(void) = ReturnIndirection[d] : &:r184_20, m184_21
|
||||
# 184| v184_26(void) = ReturnVoid :
|
||||
# 184| v184_27(void) = UnmodeledUse : mu*
|
||||
# 184| v184_28(void) = AliasedUse : ~m186_2
|
||||
@@ -910,8 +910,8 @@ ssa.cpp:
|
||||
# 202| r202_2(glval<int>) = VariableAddress[ret] :
|
||||
# 202| r202_3(int) = Load : &:r202_2, m201_8
|
||||
# 202| m202_4(int) = Store : &:r202_1, r202_3
|
||||
# 198| v198_16(void) = ReturnIndirection : &:r198_8, m198_9
|
||||
# 198| v198_17(void) = ReturnIndirection : &:r198_12, m198_13
|
||||
# 198| v198_16(void) = ReturnIndirection[str1] : &:r198_8, m198_9
|
||||
# 198| v198_17(void) = ReturnIndirection[str2] : &:r198_12, m198_13
|
||||
# 198| r198_18(glval<int>) = VariableAddress[#return] :
|
||||
# 198| v198_19(void) = ReturnValue : &:r198_18, m202_4
|
||||
# 198| v198_20(void) = UnmodeledUse : mu*
|
||||
@@ -1181,7 +1181,7 @@ ssa.cpp:
|
||||
# 251| r251_2(glval<char *>) = VariableAddress[dst] :
|
||||
# 251| r251_3(char *) = Load : &:r251_2, m248_12
|
||||
# 251| m251_4(char *) = Store : &:r251_1, r251_3
|
||||
# 247| v247_12(void) = ReturnIndirection : &:r247_8, ~m249_6
|
||||
# 247| v247_12(void) = ReturnIndirection[src] : &:r247_8, ~m249_6
|
||||
# 247| r247_13(glval<char *>) = VariableAddress[#return] :
|
||||
# 247| v247_14(void) = ReturnValue : &:r247_13, m251_4
|
||||
# 247| v247_15(void) = UnmodeledUse : mu*
|
||||
|
||||
@@ -78,7 +78,7 @@ ssa.cpp:
|
||||
# 28| r28_9(int) = Load : &:r28_8, ~mu13_4
|
||||
# 28| r28_10(int) = Add : r28_5, r28_9
|
||||
# 28| m28_11(int) = Store : &:r28_1, r28_10
|
||||
# 13| v13_13(void) = ReturnIndirection : &:r13_7, ~mu13_4
|
||||
# 13| v13_13(void) = ReturnIndirection[p] : &:r13_7, ~mu13_4
|
||||
# 13| r13_14(glval<int>) = VariableAddress[#return] :
|
||||
# 13| v13_15(void) = ReturnValue : &:r13_14, m28_11
|
||||
# 13| v13_16(void) = UnmodeledUse : mu*
|
||||
@@ -249,12 +249,12 @@ ssa.cpp:
|
||||
#-----| Goto (back edge) -> Block 1
|
||||
|
||||
# 71| Block 3
|
||||
# 71| v71_1(void) = NoOp :
|
||||
# 68| v68_11(void) = ReturnIndirection : &:r68_9, ~mu68_4
|
||||
# 68| v68_12(void) = ReturnVoid :
|
||||
# 68| v68_13(void) = UnmodeledUse : mu*
|
||||
# 68| v68_14(void) = AliasedUse : ~mu68_4
|
||||
# 68| v68_15(void) = ExitFunction :
|
||||
# 71| v71_1(void) = NoOp :
|
||||
# 68| v68_11(void) = ReturnIndirection[p] : &:r68_9, ~mu68_4
|
||||
# 68| v68_12(void) = ReturnVoid :
|
||||
# 68| v68_13(void) = UnmodeledUse : mu*
|
||||
# 68| v68_14(void) = AliasedUse : ~mu68_4
|
||||
# 68| v68_15(void) = ExitFunction :
|
||||
|
||||
# 75| void ScalarPhi(bool)
|
||||
# 75| Block 0
|
||||
@@ -752,7 +752,7 @@ ssa.cpp:
|
||||
# 181| r181_3(int *) = Load : &:r181_2, m179_6
|
||||
# 181| r181_4(int) = Load : &:r181_3, ~mu179_4
|
||||
# 181| m181_5(int) = Store : &:r181_1, r181_4
|
||||
# 179| v179_9(void) = ReturnIndirection : &:r179_7, ~mu179_4
|
||||
# 179| v179_9(void) = ReturnIndirection[p] : &:r179_7, ~mu179_4
|
||||
# 179| r179_10(glval<int>) = VariableAddress[#return] :
|
||||
# 179| v179_11(void) = ReturnValue : &:r179_10, m181_5
|
||||
# 179| v179_12(void) = UnmodeledUse : mu*
|
||||
@@ -795,10 +795,10 @@ ssa.cpp:
|
||||
# 190| r190_6(unsigned int) = Load : &:r190_5, ~mu184_4
|
||||
# 186| mu186_1(unknown) = InlineAsm : ~mu184_4, 0:r189_3, 1:r189_6, 2:r190_3, 3:r190_6
|
||||
# 192| v192_1(void) = NoOp :
|
||||
# 184| v184_21(void) = ReturnIndirection : &:r184_7, ~mu184_4
|
||||
# 184| v184_22(void) = ReturnIndirection : &:r184_11, ~mu184_4
|
||||
# 184| v184_23(void) = ReturnIndirection : &:r184_15, ~mu184_4
|
||||
# 184| v184_24(void) = ReturnIndirection : &:r184_19, ~mu184_4
|
||||
# 184| v184_21(void) = ReturnIndirection[a] : &:r184_7, ~mu184_4
|
||||
# 184| v184_22(void) = ReturnIndirection[b] : &:r184_11, ~mu184_4
|
||||
# 184| v184_23(void) = ReturnIndirection[c] : &:r184_15, ~mu184_4
|
||||
# 184| v184_24(void) = ReturnIndirection[d] : &:r184_19, ~mu184_4
|
||||
# 184| v184_25(void) = ReturnVoid :
|
||||
# 184| v184_26(void) = UnmodeledUse : mu*
|
||||
# 184| v184_27(void) = AliasedUse : ~mu184_4
|
||||
@@ -856,8 +856,8 @@ ssa.cpp:
|
||||
# 202| r202_2(glval<int>) = VariableAddress[ret] :
|
||||
# 202| r202_3(int) = Load : &:r202_2, m201_8
|
||||
# 202| m202_4(int) = Store : &:r202_1, r202_3
|
||||
# 198| v198_15(void) = ReturnIndirection : &:r198_7, ~mu198_4
|
||||
# 198| v198_16(void) = ReturnIndirection : &:r198_11, ~mu198_4
|
||||
# 198| v198_15(void) = ReturnIndirection[str1] : &:r198_7, ~mu198_4
|
||||
# 198| v198_16(void) = ReturnIndirection[str2] : &:r198_11, ~mu198_4
|
||||
# 198| r198_17(glval<int>) = VariableAddress[#return] :
|
||||
# 198| v198_18(void) = ReturnValue : &:r198_17, m202_4
|
||||
# 198| v198_19(void) = UnmodeledUse : mu*
|
||||
@@ -1099,7 +1099,7 @@ ssa.cpp:
|
||||
# 251| r251_2(glval<char *>) = VariableAddress[dst] :
|
||||
# 251| r251_3(char *) = Load : &:r251_2, m248_11
|
||||
# 251| m251_4(char *) = Store : &:r251_1, r251_3
|
||||
# 247| v247_11(void) = ReturnIndirection : &:r247_7, ~mu247_4
|
||||
# 247| v247_11(void) = ReturnIndirection[src] : &:r247_7, ~mu247_4
|
||||
# 247| r247_12(glval<char *>) = VariableAddress[#return] :
|
||||
# 247| v247_13(void) = ReturnValue : &:r247_12, m251_4
|
||||
# 247| v247_14(void) = UnmodeledUse : mu*
|
||||
|
||||
@@ -78,7 +78,7 @@ ssa.cpp:
|
||||
# 28| r28_9(int) = Load : &:r28_8, ~mu13_4
|
||||
# 28| r28_10(int) = Add : r28_5, r28_9
|
||||
# 28| m28_11(int) = Store : &:r28_1, r28_10
|
||||
# 13| v13_13(void) = ReturnIndirection : &:r13_7, ~mu13_4
|
||||
# 13| v13_13(void) = ReturnIndirection[p] : &:r13_7, ~mu13_4
|
||||
# 13| r13_14(glval<int>) = VariableAddress[#return] :
|
||||
# 13| v13_15(void) = ReturnValue : &:r13_14, m28_11
|
||||
# 13| v13_16(void) = UnmodeledUse : mu*
|
||||
@@ -249,12 +249,12 @@ ssa.cpp:
|
||||
#-----| Goto (back edge) -> Block 1
|
||||
|
||||
# 71| Block 3
|
||||
# 71| v71_1(void) = NoOp :
|
||||
# 68| v68_11(void) = ReturnIndirection : &:r68_9, ~mu68_4
|
||||
# 68| v68_12(void) = ReturnVoid :
|
||||
# 68| v68_13(void) = UnmodeledUse : mu*
|
||||
# 68| v68_14(void) = AliasedUse : ~mu68_4
|
||||
# 68| v68_15(void) = ExitFunction :
|
||||
# 71| v71_1(void) = NoOp :
|
||||
# 68| v68_11(void) = ReturnIndirection[p] : &:r68_9, ~mu68_4
|
||||
# 68| v68_12(void) = ReturnVoid :
|
||||
# 68| v68_13(void) = UnmodeledUse : mu*
|
||||
# 68| v68_14(void) = AliasedUse : ~mu68_4
|
||||
# 68| v68_15(void) = ExitFunction :
|
||||
|
||||
# 75| void ScalarPhi(bool)
|
||||
# 75| Block 0
|
||||
@@ -752,7 +752,7 @@ ssa.cpp:
|
||||
# 181| r181_3(int *) = Load : &:r181_2, m179_6
|
||||
# 181| r181_4(int) = Load : &:r181_3, ~mu179_4
|
||||
# 181| m181_5(int) = Store : &:r181_1, r181_4
|
||||
# 179| v179_9(void) = ReturnIndirection : &:r179_7, ~mu179_4
|
||||
# 179| v179_9(void) = ReturnIndirection[p] : &:r179_7, ~mu179_4
|
||||
# 179| r179_10(glval<int>) = VariableAddress[#return] :
|
||||
# 179| v179_11(void) = ReturnValue : &:r179_10, m181_5
|
||||
# 179| v179_12(void) = UnmodeledUse : mu*
|
||||
@@ -795,10 +795,10 @@ ssa.cpp:
|
||||
# 190| r190_6(unsigned int) = Load : &:r190_5, ~mu184_4
|
||||
# 186| mu186_1(unknown) = InlineAsm : ~mu184_4, 0:r189_3, 1:r189_6, 2:r190_3, 3:r190_6
|
||||
# 192| v192_1(void) = NoOp :
|
||||
# 184| v184_21(void) = ReturnIndirection : &:r184_7, ~mu184_4
|
||||
# 184| v184_22(void) = ReturnIndirection : &:r184_11, ~mu184_4
|
||||
# 184| v184_23(void) = ReturnIndirection : &:r184_15, ~mu184_4
|
||||
# 184| v184_24(void) = ReturnIndirection : &:r184_19, ~mu184_4
|
||||
# 184| v184_21(void) = ReturnIndirection[a] : &:r184_7, ~mu184_4
|
||||
# 184| v184_22(void) = ReturnIndirection[b] : &:r184_11, ~mu184_4
|
||||
# 184| v184_23(void) = ReturnIndirection[c] : &:r184_15, ~mu184_4
|
||||
# 184| v184_24(void) = ReturnIndirection[d] : &:r184_19, ~mu184_4
|
||||
# 184| v184_25(void) = ReturnVoid :
|
||||
# 184| v184_26(void) = UnmodeledUse : mu*
|
||||
# 184| v184_27(void) = AliasedUse : ~mu184_4
|
||||
@@ -856,8 +856,8 @@ ssa.cpp:
|
||||
# 202| r202_2(glval<int>) = VariableAddress[ret] :
|
||||
# 202| r202_3(int) = Load : &:r202_2, m201_8
|
||||
# 202| m202_4(int) = Store : &:r202_1, r202_3
|
||||
# 198| v198_15(void) = ReturnIndirection : &:r198_7, ~mu198_4
|
||||
# 198| v198_16(void) = ReturnIndirection : &:r198_11, ~mu198_4
|
||||
# 198| v198_15(void) = ReturnIndirection[str1] : &:r198_7, ~mu198_4
|
||||
# 198| v198_16(void) = ReturnIndirection[str2] : &:r198_11, ~mu198_4
|
||||
# 198| r198_17(glval<int>) = VariableAddress[#return] :
|
||||
# 198| v198_18(void) = ReturnValue : &:r198_17, m202_4
|
||||
# 198| v198_19(void) = UnmodeledUse : mu*
|
||||
@@ -1099,7 +1099,7 @@ ssa.cpp:
|
||||
# 251| r251_2(glval<char *>) = VariableAddress[dst] :
|
||||
# 251| r251_3(char *) = Load : &:r251_2, m248_11
|
||||
# 251| m251_4(char *) = Store : &:r251_1, r251_3
|
||||
# 247| v247_11(void) = ReturnIndirection : &:r247_7, ~mu247_4
|
||||
# 247| v247_11(void) = ReturnIndirection[src] : &:r247_7, ~mu247_4
|
||||
# 247| r247_12(glval<char *>) = VariableAddress[#return] :
|
||||
# 247| v247_13(void) = ReturnValue : &:r247_12, m251_4
|
||||
# 247| v247_14(void) = UnmodeledUse : mu*
|
||||
|
||||
Reference in New Issue
Block a user