Quelle  sanitizer.patch   Sprache: unbekannt

--- poppler/PSOutputDev.cc
+++ poppler/PSOutputDev.cc
@@ -3138,6 +3138,8 @@
 bool PSOutputDev::checkPageSlice(Page *page, double /*hDPI*/, double /*vDPI*/, int rotateA, bool useMediaBox, bool crop, int sliceX, int sliceY, int sliceW, int sliceH, bool printing, bool (*abortCheckCbk)(void *data),
                                  void *abortCheckCbkData, bool (*annotDisplayDecideCbk)(Annot *annot, void *user_data), void *annotDisplayDecideCbkData)
 {
+    std::abort();
+#if 0
     PreScanOutputDev *scan;
     bool rasterize;
     bool useFlate, useLZW;
@@ -3623,5 +3625,6 @@
 
     return false;
+#endif
 }
 
 void PSOutputDev::startPage(int pageNum, GfxState *state, XRef *xrefA)