From b61b5fffb625a7db7bdd5d1c434971ecadc3791f Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Wed, 4 Jul 2012 17:51:40 +0200 Subject: SI-6008 use static knowledge of success of type tests augment the equality axioms to take into account that a type test against the static type of a variable succeeds unless the variable is null for exhaustivity we disregard null, so the type test always succeeds during unreachability we model this knowledge as the obvious implication --- test/files/pos/t6008.flags | 1 + 1 file changed, 1 insertion(+) create mode 100644 test/files/pos/t6008.flags (limited to 'test/files/pos/t6008.flags') diff --git a/test/files/pos/t6008.flags b/test/files/pos/t6008.flags new file mode 100644 index 0000000000..e8fb65d50c --- /dev/null +++ b/test/files/pos/t6008.flags @@ -0,0 +1 @@ +-Xfatal-warnings \ No newline at end of file -- cgit v1.2.3