diff options
author | Michael Schmidt <github@mschmidt.me> | 2018-08-22 10:48:34 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2018-08-22 10:49:03 +0200 |
commit | b5b368a37478de36929da9e1fa694f989d124764 (patch) | |
tree | 35bfead98ed1adff924edc8b436efcd96c7e92a9 /powerpc | |
parent | 678b39097b51f8a1bd63138aff57295526047e5b (diff) | |
download | compcert-b5b368a37478de36929da9e1fa694f989d124764.tar.gz compcert-b5b368a37478de36929da9e1fa694f989d124764.zip |
Fix typo in pattern match of error case, bug 24326
Diffstat (limited to 'powerpc')
-rw-r--r-- | powerpc/Asmexpand.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/powerpc/Asmexpand.ml b/powerpc/Asmexpand.ml index f880e2d1..a17be2ee 100644 --- a/powerpc/Asmexpand.ml +++ b/powerpc/Asmexpand.ml @@ -582,7 +582,7 @@ let expand_builtin_inline name args res = if not (mo = _0 || mo = _1) then raise (Error "the argument of __builtin_mbar must be 0 or 1"); emit (Pmbar mo) - | "__builin_mbar", _, _ -> + | "__builtin_mbar", _, _ -> raise (Error "the argument of __builtin_mbar must be a constant"); | "__builtin_trap", [], _ -> emit (Ptrap) |