From c23b4416efe5c3a662086f333a5be74201eff463 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Wed, 29 Sep 2010 14:42:21 +0000
Subject: prevent NULL pointer dereference

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1800 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 backendC/CleanCompilerSources/codegen1.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'backendC')

diff --git a/backendC/CleanCompilerSources/codegen1.c b/backendC/CleanCompilerSources/codegen1.c
index 1d724b1..c9e53cf 100644
--- a/backendC/CleanCompilerSources/codegen1.c
+++ b/backendC/CleanCompilerSources/codegen1.c
@@ -3492,7 +3492,7 @@ static int generate_code_for_switch_node (NodeP node,int asp,int bsp,struct esc
 								return need_next_alternative;
 							}
 #if defined (TRANSFORM_PATTERNS_BEFORE_STRICTNESS_ANALYSIS)
-							if (!(arg->arg_next->arg_node->node_kind==DefaultNode))
+							if (!(arg->arg_next!=NULL && arg->arg_next->arg_node->node_kind==DefaultNode))
 #endif
 							GenJmp (&case_label);
 							matches_always=1;
-- 
cgit v1.2.3