File tree Expand file tree Collapse file tree 1 file changed +14
-0
lines changed
cpp/ql/test/examples/expressions Expand file tree Collapse file tree 1 file changed +14
-0
lines changed Original file line number Diff line number Diff line change @@ -105,10 +105,24 @@ ConditionDecl.cpp:
105
105
# 3| getVariableAccess(): [VariableAccess] k
106
106
# 3| Type = [IntType] int
107
107
# 3| ValueCategory = prvalue(load)
108
+ # 3| getInitializingExpr(): [LTExpr] ... < ...
109
+ # 3| Type = [BoolType] bool
110
+ # 3| ValueCategory = prvalue
111
+ # 3| getLesserOperand(): [VariableAccess] j
112
+ # 3| Type = [IntType] int
113
+ # 3| ValueCategory = prvalue(load)
114
+ # 3| getGreaterOperand(): [Literal] 5
115
+ # 3| Type = [IntType] int
116
+ # 3| Value = [Literal] 5
117
+ # 3| ValueCategory = prvalue
108
118
# 3| getVariableAccess().getFullyConverted(): [CStyleCast] (bool)...
109
119
# 3| Conversion = [BoolConversion] conversion to bool
110
120
# 3| Type = [BoolType] bool
111
121
# 3| ValueCategory = prvalue
122
+ # 3| getInitializingExpr().getFullyConverted(): [CStyleCast] (int)...
123
+ # 3| Conversion = [IntegralConversion] integral conversion
124
+ # 3| Type = [IntType] int
125
+ # 3| ValueCategory = prvalue
112
126
# 3| getStmt(): [BlockStmt] { ... }
113
127
# 5| getStmt(2): [ReturnStmt] return ...
114
128
ConstructorCall.cpp:
You can’t perform that action at this time.
0 commit comments