File tree Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -87,7 +87,8 @@ struct reaching_definitiont
87
87
{
88
88
// / The name of the variable which was defined.
89
89
irep_idt identifier;
90
- // / The iterator to the GOTO instruction where the variable has been written to.
90
+ // / The iterator to the GOTO instruction where the variable has been written
91
+ // / to.
91
92
ai_domain_baset::locationt definition_at;
92
93
// / The two integers below define a range of bits (i.e. the begin and end bit
93
94
// / indices) which represent the value of the variable. So, the integers
@@ -151,7 +152,7 @@ class rd_range_domaint:public ai_domain_baset
151
152
// / Computes an instance obtained from the instance `*this` by transformation
152
153
// / over a GOTO instruction referenced by `from`. The method implements a
153
154
// / switch according to a type of the instruction and then calls a dedicated
154
- // / transform_*` method for the recognised instruction.
155
+ // / ` transform_*` method for the recognised instruction.
155
156
// / \param function_from: Just passed to `transform_function_call` and
156
157
// / `transform_end_function` callees.
157
158
// / \param from: Reference to a GOTO instruction according to which `*this`
You can’t perform that action at this time.
0 commit comments