external/poppler/sanitizer.patch

   1 --- poppler/PSOutputDev.cc
   2 +++ poppler/PSOutputDev.cc
   3 @@ -3138,6 +3138,8 @@
   4  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),
   5                                   void *abortCheckCbkData, bool (*annotDisplayDecideCbk)(Annot *annot, void *user_data), void *annotDisplayDecideCbkData)
   6  {
   7 +    std::abort();
   8 +#if 0
   9      PreScanOutputDev *scan;
  10      bool rasterize;
  11      bool useFlate, useLZW;
  12 @@ -3623,5 +3625,6 @@
  13
  14      return false;
  15 +#endif
  16  }
  17
  18  void PSOutputDev::startPage(int pageNum, GfxState *state, XRef *xrefA)