diff options
-rw-r--r-- | external/graphite/ubsan.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/external/graphite/ubsan.patch b/external/graphite/ubsan.patch index 2f3bf5e7baf6..53585cf72628 100644 --- a/external/graphite/ubsan.patch +++ b/external/graphite/ubsan.patch @@ -38,3 +38,14 @@ } +--- src/inc/Code.h ++++ src/inc/Code.h +@@ -162,7 +162,7 @@ + { + if (_code && !_own) + { +- _code += dist / sizeof(instr); ++ _code += dist / int(sizeof(instr)); + _data += dist; + } + } |