--| Copyright (c) 1993-2018 University of Southern California, Eiffel Software and contributors. --| All rights reserved. --| Your use of this work is governed under the terms of the GNU General --| Public License version 2. -- This is a test control file test_name external-static-access test_description An external function `value: INTEGER' which is "C inline" has a postcondition `value = 29'. If this feature is called via static access `feature {TEST1}.value', system execution dies with a segmentation fault in the postcondition. define FROZEN "" define ASSERTION "ok: value = 47" copy_sub Ace $TEST Ace copy_raw test.e $CLUSTER test.e copy_sub test1.e $CLUSTER test1.e compile_frozen compile_result validity_error TEST VUNO:13 define FROZEN "frozen" copy_sub test1.e $CLUSTER test1.e resume_compile compile_result validity_error TEST VUNO:13 define ASSERTION "" copy_sub test1.e $CLUSTER test1.e resume_compile compile_result ok c_compile_work c_compile_result ok execute_work NONE exec_output1 execute_result ok compare exec_output1 output test_end