Skip to content
Snippets Groups Projects
Commit 3c750797 authored by xleroy's avatar xleroy
Browse files

Wrong type for __builtin_volatile_*_int32 

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1309 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
parent e7b82249
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
cfrontend/C2Clight.ml
+ 1
− 1
View file @ 3c750797
...@@ -348,7 +348,7 @@ let volatile_fun_suffix_type ty = ...@@ -348,7 +348,7 @@ let volatile_fun_suffix_type ty =
| Tint(I8, Signed) -> ("int8signed", ty) | Tint(I8, Signed) -> ("int8signed", ty)
| Tint(I16, Unsigned) -> ("int16unsigned", ty) | Tint(I16, Unsigned) -> ("int16unsigned", ty)
| Tint(I16, Signed) -> ("int16signed", ty) | Tint(I16, Signed) -> ("int16signed", ty)
| Tint(I32, _) -> ("int32", ty) | Tint(I32, _) -> ("int32", Tint(I32, Signed))
| Tfloat F32 -> ("float32", ty) | Tfloat F32 -> ("float32", ty)
| Tfloat F64 -> ("float64", ty) | Tfloat F64 -> ("float64", ty)
| Tpointer _ | Tarray _ | Tfunction _ | Tcomp_ptr _ -> | Tpointer _ | Tarray _ | Tfunction _ | Tcomp_ptr _ ->
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment