chiark - git - mdw - xyla/blob - treap-fail.c

   1 /* -*-c-*-
   2  *
   3  * Failure reporting for treaps
   4  *
   5  * (c) 2024 Straylight/Edgeware
   6  */
   7
   8 /*----- Licensing notice --------------------------------------------------*
   9  *
  10  * This file is part of Xyla, a library of binary trees.
  11  *
  12  * Xyla is free software: you can redistribute it and/or modify it under
  13  * the terms of the GNU Lesser General Public License as published by the
  14  * Free Software Foundation; either version 3 of the License, or (at your
  15  * option) any later version.
  16  *
  17  * Xyla is distributed in the hope that it will be useful, but WITHOUT
  18  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  19  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
  20  * License for more details.
  21  *
  22  * You should have received a copy of the GNU Lesser General Public
  23  * License along with Xyla.  If not, see <https://www.gnu.org/licenses/>.
  24  */
  25
  26 /*----- Header files ------------------------------------------------------*/
  27
  28 #include <stdlib.h>
  29
  30 #include "lib.h"
  31 #include "bt.h"
  32
  33 /*----- Main code ---------------------------------------------------------*/
  34
  35 void xyla__treap_boundfail(void)
  36 {
  37   /* Report a failure in the height bound. */
  38
  39   fputs("XYLA-TREAP BUG probabilistic height bound exceeded\n", stderr);
  40   abort();
  41 }
  42
  43 /*----- That's all, folks -------------------------------------------------*/