diff options
Diffstat (limited to 'external')
| -rw-r--r-- | external/harfbuzz/ubsan.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/external/harfbuzz/ubsan.patch b/external/harfbuzz/ubsan.patch index 8fa6abe373cf..5f8f0080e361 100644 --- a/external/harfbuzz/ubsan.patch +++ b/external/harfbuzz/ubsan.patch @@ -9,6 +9,17 @@ } }; +@@ -394,8 +394,9 @@ + } + + static void +-_hb_ot_font_destroy (hb_ot_font_t *ot_font) ++_hb_ot_font_destroy (void *ot_font_) + { ++ hb_ot_font_t *ot_font = static_cast<hb_ot_font_t *>(ot_font_); + ot_font->cmap.fini (); + ot_font->h_metrics.fini (); + ot_font->v_metrics.fini (); --- src/hb-ot-map-private.hh +++ src/hb-ot-map-private.hh @@ -52,8 +52,11 @@ |