2 files changed, 76 insertions, 0 deletions

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;
+}