summaryrefslogtreecommitdiff
path: root/external/graphite
diff options
context:
space:
mode:
authorStephan Bergmann <sbergman@redhat.com>2017-06-07 15:32:30 +0200
committerStephan Bergmann <sbergman@redhat.com>2017-06-07 15:44:50 +0200
commit681b4a49d797996229513d3e842d2a431030730a (patch)
tree04da639ee9f7c6c9bce4607ac9cdcb605530d8e5 /external/graphite
parent88d3c067831dac8cf69ebaa079f1d809d727a342 (diff)
external/graphite: Avoid -fsanitize=pointer-overflow
...that was recently introduced into Clang trunk with <https://reviews.llvm.org/D33305> "[ubsan] Add a check for pointer overflow UB". Here, _code is of type instr*, dist is of type ptrdiff_t, and sizeof(instr) is something like 8. My first impulse was to cast the result of the division (done with arguments promoted to size_t) back to ptrdiff_t, but that wouldn't help: When dist is a relatively small negative number (like -3293184), the division expression will promote it to a large unsigned (size_t) value (like 0xFFFF'FFFF'FFCD'C000), but the result (in our case, 0x1FFF'FFFF'FFF9'B800) would be small enough to fit into ptrdiff_t as a positive value. So assume that sizeof(instr) fits into int and ensure the division is done on signed values. (At least CppunitTest_sc_subsequent_filters_test started to fail with "workdir/UnpackedTarball/graphite/src/inc/Code.h:165:15: runtime error: pointer index expression with base 0x7fb90a3b4df0 overflowed to 0x7fb90a0a0df0".) Change-Id: Ie6698e38d6abec80f2fa817c42ebf20618496109
Diffstat (limited to 'external/graphite')
-rw-r--r--external/graphite/ubsan.patch11
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;
+ }
+ }