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/Asmexpand.ml | |
| parent | 678b39097b51f8a1bd63138aff57295526047e5b (diff) | |
| download | compcert-kvx-b5b368a37478de36929da9e1fa694f989d124764.tar.gz compcert-kvx-b5b368a37478de36929da9e1fa694f989d124764.zip | |
Fix typo in pattern match of error case, bug 24326
Diffstat (limited to 'powerpc/Asmexpand.ml')
| -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) |