Merge pull request #110 from tautschnig/jsil-cleanup

Avoid warnings and errors with selected compilers in jsil front-end

Author: kroening

src/jsil/jsil_typecheck.cpp

@@ -1155,9 +1155,9 @@ void jsil_typecheckt::typecheck_function_call(
         // if there are too few arguments, add undefined
         if(codet.parameters().size()>call.arguments().size())
         {
-          for(int i=call.arguments().size();
-                  i<codet.parameters().size();
-                  i++)
+          for(std::size_t i=call.arguments().size();
+              i<codet.parameters().size();
+              ++i)
             call.arguments().push_back(
               exprt("undefined", jsil_undefined_type()));
         }

src/jsil/parser.y

@@ -393,10 +393,10 @@ atom_expression: literal
                }
                | TOK_TYPEOF '(' expression ')'
                {
-                 exprt typeof(ID_typeof);
-                 typeof.move_to_operands(stack($3));
+                 exprt typeof_expr(ID_typeof);
+                 typeof_expr.move_to_operands(stack($3));
 
-                 newstack($$).swap(typeof);
+                 newstack($$).swap(typeof_expr);
                }
                ;