source_location for throw

Daniel Kroening · Daniel Kroening · commit e3f0112fa7ca · 2016-06-08T08:22:06.000+01:00
diff --git a/src/java_bytecode/java_bytecode_convert.cpp b/src/java_bytecode/java_bytecode_convert.cpp
@@ -736,6 +736,7 @@ codet java_bytecode_convertt::convert_instructions(
     {
       assert(op.size()==1 && results.size()==1);
       side_effect_expr_throwt throw_expr;
+      throw_expr.add_source_location()=i_it->source_location;
       throw_expr.copy_to_operands(op[0]);
       c=code_expressiont(throw_expr);
       results[0]=op[0];

Original file line number	Diff line number	Diff line change
`@@ -736,6 +736,7 @@ codet java_bytecode_convertt::convert_instructions(`
`736`	`736`	`{`
`737`	`737`	`assert(op.size()==1 && results.size()==1);`
`738`	`738`	`side_effect_expr_throwt throw_expr;`
	`739`	`+ throw_expr.add_source_location()=i_it->source_location;`
`739`	`740`	`throw_expr.copy_to_operands(op[0]);`
`740`	`741`	`c=code_expressiont(throw_expr);`
`741`	`742`	`results[0]=op[0];`