ranged for

Daniel Kroening · Daniel Kroening · commit 18c614e715ec · 2016-12-06T09:59:33.000Z
diff --git a/src/java_bytecode/java_bytecode_convert_class.cpp b/src/java_bytecode/java_bytecode_convert_class.cpp
@@ -252,10 +252,10 @@ void java_bytecode_convert_classt::add_array_types()
 {
   const char letters[]="ijsbcfdza";
 
-  for(unsigned i=0; letters[i]!=0; i++)
+  for(const char l : letters)
   {
     symbol_typet symbol_type=
-      to_symbol_type(java_array_type(letters[i]).subtype());
+      to_symbol_type(java_array_type(l).subtype());
 
     struct_typet struct_type;
     // we have the base class, java.lang.Object, length and data

Original file line number	Diff line number	Diff line change
`@@ -252,10 +252,10 @@ void java_bytecode_convert_classt::add_array_types()`
`252`	`252`	`{`
`253`	`253`	`const char letters[]="ijsbcfdza";`
`254`	`254`
`255`		`- for(unsigned i=0; letters[i]!=0; i++)`
	`255`	`+ for(const char l : letters)`
`256`	`256`	`{`
`257`	`257`	`symbol_typet symbol_type=`
`258`		`- to_symbol_type(java_array_type(letters[i]).subtype());`
	`258`	`+ to_symbol_type(java_array_type(l).subtype());`
`259`	`259`
`260`	`260`	`struct_typet struct_type;`
`261`	`261`	`// we have the base class, java.lang.Object, length and data`