From dab533522621fa67f5032f715690fc7b65a8fd48 Mon Sep 17 00:00:00 2001
From: Ricardo Baratto <ricardo@aarno-labs.com>
Date: Mon, 28 Apr 2025 13:26:28 -0400
Subject: [PATCH] Remove summary file for __assert_fail

the prototype doesn't match what one of the binaries we're
analyzing uses (it doesn't have the last 'fun' parameter).

Hopefully this doesn't cause issues regarding the non-returning
semantics and the other api attributes
---
 .../so_functions/__assert_fail.xml            | 53 -------------------
 1 file changed, 53 deletions(-)
 delete mode 100644 CodeHawk/CHB/bchsummaries/so_functions/__assert_fail.xml

diff --git a/CodeHawk/CHB/bchsummaries/so_functions/__assert_fail.xml b/CodeHawk/CHB/bchsummaries/so_functions/__assert_fail.xml
deleted file mode 100644
index 97c2a180..00000000
--- a/CodeHawk/CHB/bchsummaries/so_functions/__assert_fail.xml
+++ /dev/null
@@ -1,53 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<codehawk-binary-analyzer>
-  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
-  <header date="2019-11-06 21:43:07"/>
-  <libfun lib="so-functions" name="__assert_fail">
-    <documentation>
-      <desc>insert program diagnostics</desc>
-      <apidoc>
-        <pt>
-          <ll>__assert_fail(</ll>
-          <ld>char *expr</ld>
-          <ld>char *file</ld>
-          <ld>int line</ld>
-          <ld>char *fun</ld>
-          <ll>)</ll>
-        </pt>
-        <par name="expr">assertion expression</par>
-        <par name="file">filename</par>
-        <par name="line">line number</par>
-        <par name="fun">function name</par>
-        <return/>
-      </apidoc>
-    </documentation>
-    <api adj="0" cc="cdecl" name="__assert_fail">
-      <par loc="stack" name="expr" nr="1">
-        <type><ptr>char</ptr></type>
-      </par>
-      <par loc="stack" name="file" nr="2">
-        <type><ptr>char</ptr></type>
-      </par>
-      <par loc="stack" name="line" nr="3">
-        <type><ptr>char</ptr></type>
-      </par>
-      <par loc="stack" name="fun" nr="4">
-        <type><ptr>char</ptr></type>
-      </par>
-      <returntype>void</returntype>
-    </api>
-    <semantics>
-      <io-actions/>
-      <preconditions/>
-      <postconditions>
-	<post>
-	  <math>
-	    <non-returning/>
-	  </math>
-	</post>
-      </postconditions>
-      <sideeffects/>
-    </semantics>
-  </libfun>
-  <copyright-notice>Copyright 2012-2019, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
-</codehawk-binary-analyzer>