Added Slabel, Sgoto

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@705 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

caml/CMtypecheck.ml

@@ -345,6 +345,10 @@ let rec type_stmt env blk ret s =
       with Error s ->
         raise (Error (sprintf "In tail call:\n%s" s))
       end
+  | Slabel(lbl, s1) ->
+      type_stmt env blk ret s1
+  | Sgoto lbl ->
+      ()
 
 let rec env_of_vars idl =
   match idl with