From f29bd5bc9ace612445a36458f6162c4f61f86b68 Mon Sep 17 00:00:00 2001
From: tb <>
Date: Sun, 20 Jan 2019 06:47:38 +0000
Subject: Add a simple test that verifies that every valid handshake sets
 action->handshake_complete.

---
 src/regress/lib/libssl/handshake/Makefile          | 20 ++++++++
 .../libssl/handshake/valid_handshakes_terminate.c  | 56 ++++++++++++++++++++++
 2 files changed, 76 insertions(+)
 create mode 100644 src/regress/lib/libssl/handshake/Makefile
 create mode 100644 src/regress/lib/libssl/handshake/valid_handshakes_terminate.c

(limited to 'src')

diff --git a/src/regress/lib/libssl/handshake/Makefile b/src/regress/lib/libssl/handshake/Makefile
new file mode 100644
index 0000000000..151496fcbc
--- /dev/null
+++ b/src/regress/lib/libssl/handshake/Makefile
@@ -0,0 +1,20 @@
+#	$OpenBSD: Makefile,v 1.1 2019/01/20 06:47:38 tb Exp $
+
+PROGS += valid_handshakes_terminate
+
+.for p in ${PROGS}
+REGRESS_TARGETS += run-$p
+.endfor
+
+LDADD =		${SSL_INT} -lcrypto
+DPADD =		${LIBCRYPTO} ${LIBSSL}
+WARNINGS =	Yes
+CFLAGS +=	-DLIBRESSL_INTERNAL -Wundef -Werror -I$(BSDSRCDIR)/lib/libssl
+
+.for p in ${PROGS}
+run-$p: $p
+	@echo '\n======== $@ ========'
+	./$p
+.endfor
+
+.include <bsd.regress.mk>
diff --git a/src/regress/lib/libssl/handshake/valid_handshakes_terminate.c b/src/regress/lib/libssl/handshake/valid_handshakes_terminate.c
new file mode 100644
index 0000000000..df87087644
--- /dev/null
+++ b/src/regress/lib/libssl/handshake/valid_handshakes_terminate.c
@@ -0,0 +1,56 @@
+/*	$OpenBSD: valid_handshakes_terminate.c,v 1.1 2019/01/20 06:47:38 tb Exp $	*/
+/*
+ * Copyright (c) 2019 Theo Buehler <tb@openbsd.org>
+ *
+ * Permission to use, copy, modify, and distribute this software for any
+ * purpose with or without fee is hereby granted, provided that the above
+ * copyright notice and this permission notice appear in all copies.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+ * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+ * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+ * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+ * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+ * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+ * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+ */
+
+#include <err.h>
+#include <stdio.h>
+
+#include "tls13_handshake.c"
+
+int
+main(int argc, char *argv[])
+{
+	size_t	i, j;
+	int	terminates;
+	int	fail = 0;
+
+	for (i = 1; i < NUM_HANDSHAKES; i++) {
+		enum tls13_message_type mt = handshakes[i][0];
+
+		if (mt == INVALID)
+			continue;
+		terminates = 0;
+
+		for (j = 0; j < TLS13_NUM_MESSAGE_TYPES; j++) {
+			mt = handshakes[i][j];
+			if (state_machine[mt].handshake_complete) {
+				terminates = 1;
+				break;
+			}
+		}
+
+		if (!terminates) {
+			fail = 1;
+			printf("FAIL: handshake_complete never true in "
+			    "handshake %zu\n", i);
+		}
+	}
+
+	if (!fail)
+		printf("SUCCESS\n");
+
+	return fail;
+}
-- 
cgit v1.2.3-55-g6feb