add segfault test

test/misc/select_segfault_210e3.exp

@@ -0,0 +1,348 @@
+SCHEMA select_segfault_210e3;
+
+
+  ENTITY compound_representation_item
+      SUPERTYPE OF ( ( (ONEOF (
+               ROW_REPRESENTATION_ITEM,
+               TABLE_REPRESENTATION_ITEM)) )ANDOR( ONEOF (
+               POINT_AND_VECTOR,
+               POINT_PATH) )  )
+      SUBTYPE OF (representation_item);
+      item_element : compound_item_definition;
+  END_ENTITY;
+
+  ENTITY geometric_representation_item
+  SUBTYPE OF (representation_item);
+  END_ENTITY;
+
+  TYPE point_and_vector_members = LIST [2:3] OF point_and_vector_member;
+  END_TYPE;
+
+  TYPE point_path_members = LIST [1:?] OF point_and_vector;
+  END_TYPE;
+
+  TYPE point_and_vector_member = SELECT (point, direction);
+  END_TYPE;
+
+  ENTITY point
+   SUPERTYPE OF (ONEOF (
+              CARTESIAN_POINT))
+  SUBTYPE OF (geometric_representation_item);
+ END_ENTITY;
+
+  ENTITY cartesian_point
+  SUBTYPE OF (point);
+    coordinates  : LIST [1:3] OF length_measure;
+  END_ENTITY;
+
+ ENTITY direction
+   SUBTYPE OF (geometric_representation_item);
+   direction_ratios : LIST [2:3] OF REAL;
+ WHERE
+   WR1: SIZEOF(QUERY(tmp <* direction_ratios | tmp <> 0.0)) > 0;
+ END_ENTITY;
+
+
+
+  ENTITY point_and_vector
+    SUBTYPE OF (compound_representation_item, geometric_representation_item);
+      SELF\compound_representation_item.item_element : point_and_vector_members;
+  END_ENTITY;
+
+
+  ENTITY point_path
+    SUBTYPE OF (compound_representation_item, geometric_representation_item);
+      SELF\compound_representation_item.item_element : point_path_members;
+  END_ENTITY;
+
+
+  TYPE compound_item_definition = SELECT
+    (list_representation_item,
+     set_representation_item);
+  END_TYPE;
+
+  TYPE list_representation_item = LIST [1:?] OF representation_item;
+  END_TYPE;
+
+
+  TYPE set_representation_item = SET [1:?] OF representation_item;
+  END_TYPE;
+
+
+  ENTITY representation_item
+      SUPERTYPE OF ( ( ONEOF (
+               BINARY_REPRESENTATION_ITEM,
+               COMPOUND_REPRESENTATION_ITEM,
+               MAPPED_ITEM,
+               VALUE_REPRESENTATION_ITEM) )ANDOR( (ONEOF (
+               BOOLEAN_REPRESENTATION_ITEM,
+               DATE_REPRESENTATION_ITEM,
+               DATE_TIME_REPRESENTATION_ITEM,
+               INTEGER_REPRESENTATION_ITEM,
+               LOGICAL_REPRESENTATION_ITEM,
+               RATIONAL_REPRESENTATION_ITEM,
+               REAL_REPRESENTATION_ITEM)) )ANDOR( ONEOF (
+               MAPPED_ITEM,
+               STYLED_ITEM) )  ) ;
+      name : label;
+  END_ENTITY;
+
+  ENTITY mapped_item
+    SUBTYPE OF (representation_item);
+      mapping_source : representation_map;
+      mapping_target : representation_item;
+  END_ENTITY;
+    ENTITY value_representation_item
+    SUBTYPE OF (representation_item);
+      value_component : measure_value;
+  END_ENTITY;
+  ENTITY boolean_representation_item
+    SUBTYPE OF (representation_item, boolean_literal);
+  END_ENTITY;
+
+  ENTITY date_representation_item
+    SUBTYPE OF (representation_item, date);
+  END_ENTITY;
+
+  ENTITY date_time_representation_item
+    SUBTYPE OF (representation_item, date_and_time);
+  END_ENTITY;
+
+  ENTITY integer_representation_item
+    SUBTYPE OF (representation_item, int_literal);
+  END_ENTITY;
+
+  ENTITY logical_representation_item
+    SUBTYPE OF (representation_item, logical_literal);
+  END_ENTITY;
+
+  ENTITY rational_representation_item
+    SUBTYPE OF (representation_item, slash_expression);
+    WHERE
+      WR1: SIZEOF( QUERY( operand <* SELF\binary_generic_expression.operands |
+        NOT('AP210_ELECTRONIC_ASSEMBLY_INTERCONNECT_AND_PACKAGING_DESIGN_MIM_LF.INT_LITERAL' IN TYPEOF(operand)))) = 0;
+  END_ENTITY;
+ENTITY binary_numeric_expression
+ ABSTRACT SUPERTYPE OF (ONEOF (
+                        SLASH_EXPRESSION))
+SUBTYPE OF (numeric_expression, binary_generic_expression);
+    SELF\binary_generic_expression.operands : LIST [2:2] OF
+                        numeric_expression;
+END_ENTITY;
+
+  ENTITY real_representation_item
+    SUBTYPE OF (representation_item, real_literal);
+  END_ENTITY;
+
+ENTITY numeric_expression
+ ABSTRACT SUPERTYPE OF (ONEOF (BINARY_NUMERIC_EXPRESSION));
+END_ENTITY;
+
+
+  ENTITY measure_representation_item
+    SUBTYPE OF (representation_item, measure_with_unit);
+  END_ENTITY;
+
+
+  ENTITY measure_with_unit;
+    value_component : measure_value;
+    unit_component : unit;
+  END_ENTITY;
+
+
+  ENTITY named_unit
+    SUPERTYPE OF (ONEOF (
+              SI_UNIT,
+              CONVERSION_BASED_UNIT)
+              ANDOR ONEOF (
+              PLANE_ANGLE_UNIT));
+    dimensions : dimensional_exponents;
+  END_ENTITY;
+
+
+  ENTITY plane_angle_measure_with_unit
+    SUBTYPE OF (measure_with_unit);
+  WHERE
+    WR1: 'AP210_ELECTRONIC_ASSEMBLY_INTERCONNECT_AND_PACKAGING_DESIGN_MIM_LF.PLANE_ANGLE_UNIT' IN TYPEOF(SELF\measure_with_unit.unit_component);
+  END_ENTITY;
+
+
+  ENTITY plane_angle_unit
+    SUBTYPE OF (named_unit);
+  WHERE
+    WR1: (SELF\named_unit.dimensions.length_exponent = 0.0) AND (SELF\named_unit.dimensions.mass_exponent = 0.0) AND (SELF\named_unit.dimensions.time_exponent = 0.0) AND (SELF\named_unit.dimensions.electric_current_exponent = 0.0) AND (SELF\named_unit.dimensions.thermodynamic_temperature_exponent = 0.0) AND (SELF\named_unit.dimensions.amount_of_substance_exponent = 0.0) AND (SELF\named_unit.dimensions.luminous_intensity_exponent = 0.0);
+  END_ENTITY;
+
+
+  TYPE plane_angle_measure = REAL;
+  END_TYPE;
+
+
+  ENTITY si_unit
+    SUBTYPE OF (named_unit);
+    prefix : OPTIONAL si_prefix;
+    name : si_unit_name;
+  WHERE
+    WR1: NOT(('AP210_ELECTRONIC_ASSEMBLY_INTERCONNECT_AND_PACKAGING_DESIGN_MIM_LF.MASS_UNIT' IN TYPEOF(SELF)) AND
+             (SIZEOF(USEDIN(SELF,'AP210_ELECTRONIC_ASSEMBLY_INTERCONNECT_AND_PACKAGING_DESIGN_MIM_LF.DERIVED_UNIT_ELEMENT.UNIT')) > 0)) OR
+            (prefix = si_prefix.kilo);
+  END_ENTITY;
+
+
+  ENTITY conversion_based_unit
+    SUBTYPE OF (named_unit);
+     name : label;
+     conversion_factor : measure_with_unit;
+  END_ENTITY;
+
+
+
+  TYPE measure_value = SELECT
+    (plane_angle_measure, positive_length_measure);
+  END_TYPE;
+
+  TYPE positive_length_measure = REAL;
+  END_TYPE;
+  TYPE length_measure = REAL;
+  END_TYPE;
+
+  TYPE label = STRING;
+  END_TYPE;
+
+  TYPE unit = SELECT (derived_unit, named_unit);
+  END_TYPE;
+
+  TYPE si_prefix = ENUMERATION OF (
+      exa, peta, tera, giga, mega, kilo, hecto, deca, deci, centi, milli, micro, nano, pico, femto, atto);
+  END_TYPE;
+
+  TYPE si_unit_name = ENUMERATION OF (
+      metre, gram, second, ampere, kelvin, mole, candela, radian, steradian, hertz, newton, pascal, joule, watt, coulomb, volt, farad, ohm, siemens, weber, tesla, henry, degree_Celsius, lumen, lux, becquerel, gray, sievert);
+  END_TYPE;
+
+  ENTITY derived_unit;
+  END_ENTITY;
+
+  ENTITY dimensional_exponents;
+    length_exponent : REAL;
+    mass_exponent : REAL;
+    time_exponent : REAL;
+    electric_current_exponent : REAL;
+    thermodynamic_temperature_exponent : REAL;
+    amount_of_substance_exponent : REAL;
+    luminous_intensity_exponent : REAL;
+  END_ENTITY;
+
+  ENTITY binary_representation_item
+    SUBTYPE OF (representation_item);
+      binary_value : BINARY;
+  END_ENTITY;
+
+ENTITY int_literal
+SUBTYPE OF (literal_number);
+    SELF\literal_number.the_value: INTEGER;
+END_ENTITY;
+
+
+ENTITY real_literal
+SUBTYPE OF (literal_number);
+    SELF\literal_number.the_value: REAL;
+END_ENTITY;
+
+ENTITY logical_literal;
+  lit_value : LOGICAL;
+END_ENTITY;
+
+ENTITY literal_number
+ ABSTRACT SUPERTYPE OF (ONEOF ( INT_LITERAL, REAL_LITERAL));
+    the_value: NUMBER;
+END_ENTITY;
+  ENTITY row_representation_item
+    SUBTYPE OF(compound_representation_item);
+      SELF\compound_representation_item.item_element : list_representation_item;
+  END_ENTITY;
+
+  ENTITY table_representation_item
+    SUBTYPE OF (compound_representation_item);
+    WHERE
+      WR1: SIZEOF(QUERY(itet <* SELF\compound_representation_item.item_element |
+        NOT('AP210_ELECTRONIC_ASSEMBLY_INTERCONNECT_AND_PACKAGING_DESIGN_MIM_LF.ROW_REPRESENTATION_ITEM' IN TYPEOF(itet))
+            )) = 0;
+  END_ENTITY;
+  ENTITY styled_item
+    SUBTYPE OF (representation_item);
+      styles :  SET [1:?] OF text; --presentation_style_assignment;
+      item   :  representation_item;
+    WHERE
+      WR1: (SIZEOF(SELF.styles) = 1)
+               XOR
+         (SIZEOF(QUERY(pres_style <* SELF.styles |
+         NOT ('AP210_ELECTRONIC_ASSEMBLY_INTERCONNECT_AND_PACKAGING_DESIGN_MIM_LF.' +
+              'PRESENTATION_STYLE_BY_CONTEXT' IN
+         TYPEOF(pres_style))
+         )) = 0);
+      WR2: NOT ('AP210_ELECTRONIC_ASSEMBLY_INTERCONNECT_AND_PACKAGING_DESIGN_MIM_LF.STYLED_ITEM' IN TYPEOF(item));
+      WR3: ('AP210_ELECTRONIC_ASSEMBLY_INTERCONNECT_AND_PACKAGING_DESIGN_MIM_LF.MAPPED_ITEM' IN TYPEOF(item)) OR
+           ('AP210_ELECTRONIC_ASSEMBLY_INTERCONNECT_AND_PACKAGING_DESIGN_MIM_LF.GEOMETRIC_REPRESENTATION_ITEM' IN TYPEOF(item));
+  END_ENTITY;
+
+  ENTITY representation_map;
+      mapping_origin        : representation_item;
+      mapped_representation : representation;
+    INVERSE
+      map_usage : SET[1:?] OF mapped_item FOR mapping_source;
+  END_ENTITY;
+
+ENTITY date_and_time;
+  date_component : date;
+END_ENTITY;
+
+
+ENTITY date;
+  year_component : year_number;
+END_ENTITY;
+
+ENTITY slash_expression
+SUBTYPE OF (binary_numeric_expression);
+END_ENTITY;
+ENTITY boolean_literal;
+  the_value: BOOLEAN;
+END_ENTITY;
+
+TYPE year_number = INTEGER;
+END_TYPE;
+  ENTITY representation;
+      name             : label;
+      items            : SET[1:?] OF representation_item;
+      context_of_items : representation_context;
+    WHERE
+      WR1: SIZEOF (USEDIN (SELF, 'AP210_ELECTRONIC_ASSEMBLY_INTERCONNECT_AND_PACKAGING_DESIGN_MIM_LF.' +
+                                 'ID_ATTRIBUTE.IDENTIFIED_ITEM'))
+         <= 1;
+      WR2: SIZEOF (USEDIN (SELF, 'AP210_ELECTRONIC_ASSEMBLY_INTERCONNECT_AND_PACKAGING_DESIGN_MIM_LF.' +
+                                 'DESCRIPTION_ATTRIBUTE.DESCRIBED_ITEM'))
+         <= 1;
+  END_ENTITY;
+ENTITY binary_generic_expression
+ ABSTRACT SUPERTYPE
+SUBTYPE OF(generic_expression);
+    operands: LIST [2:2] OF generic_expression;
+END_ENTITY;
+
+  TYPE text = STRING;
+  END_TYPE;
+
+  TYPE identifier = STRING;
+  END_TYPE;
+  ENTITY representation_context;
+      context_identifier : identifier;
+      context_type       : text;
+    INVERSE
+      representations_in_context : SET [1:?] OF representation FOR context_of_items;
+  END_ENTITY;
+  ENTITY generic_expression
+ ABSTRACT SUPERTYPE OF (BINARY_GENERIC_EXPRESSION);
+END_ENTITY;
+
+
+END_SCHEMA;

test/p21/CMakeLists.txt

@@ -1,7 +1,6 @@
 CMAKE_MINIMUM_REQUIRED(VERSION 2.8)
 
 #test part 21 files
-#currently, the only tests are for the schema name
 
 set( schema_name_tests_head "
 ISO-10303-21;
@@ -52,3 +51,10 @@ set_tests_properties( test_good_schema_name test_good_schema_name_asn test_misma
                       PROPERTIES DEPENDS build_cpp_sdai_AP214E3_2010 LABELS exchange_file )
 
 set_tests_properties( test_mismatch_schema_name test_missing_and_required_strict PROPERTIES WILL_FAIL TRUE )
+
+#check for a segmentation fault with selects. the files are a subset of the 210e3 schema and of SurfaceMountFlasher.stp, respectively
+#p21read will report errors with the file, but they don't matter as long as there isn't a segfault.
+BUILD_A_SCHEMA(${SCL_SOURCE_DIR}/test/misc/select_segfault_210e3.exp)
+add_test( test_select_segfault ${CMAKE_RUNTIME_OUTPUT_DIRECTORY}/p21read_sdai_select_segfault_210e3
+                               ${CMAKE_CURRENT_SOURCE_DIR}/select_segfault_210e3.stp )
+set_tests_properties( test_select_segfault PROPERTIES DEPENDS build_cpp_sdai_select_segfault_210e3 LABELS exchange_file WILL_FAIL TRUE )

test/p21/select_segfault_210e3.stp

@@ -0,0 +1,29 @@
+ISO-10303-21;
+HEADER;
+/*
+            Derived from SurfaceMountFlasher.stp
+*/
+FILE_DESCRIPTION(('select that causes segfault, derived from SurfaceMountFlasher.stp',' '), '2;1');
+FILE_NAME( 'select_segfault_210e3.stp','2012-04-07',('mp'),(' '), 'hand edited', ' ', ' ');
+FILE_SCHEMA(('SELECT_SEGFAULT_210E3'));
+ENDSEC;
+DATA;
+
+#20=(NAMED_UNIT(*)PLANE_ANGLE_UNIT()SI_UNIT($,.RADIAN.));
+#21=PLANE_ANGLE_MEASURE_WITH_UNIT(PLANE_ANGLE_MEASURE(0.017453292519943295),#20);
+#23=(CONVERSION_BASED_UNIT('degree',#21)NAMED_UNIT(*)PLANE_ANGLE_UNIT());
+
+/* segfault on this one */
+#565=COMPOUND_REPRESENTATION_ITEM('set of orthogonal angles',SET_REPRESENTATION_ITEM(
+     (#566,#567,#568,#569)));
+
+#566=(MEASURE_REPRESENTATION_ITEM()MEASURE_WITH_UNIT(PLANE_ANGLE_MEASURE(0.0),#23)
+     PLANE_ANGLE_MEASURE_WITH_UNIT()REPRESENTATION_ITEM('0 degrees'));
+#567=(MEASURE_REPRESENTATION_ITEM()MEASURE_WITH_UNIT(PLANE_ANGLE_MEASURE(90.0),#23)
+     PLANE_ANGLE_MEASURE_WITH_UNIT()REPRESENTATION_ITEM('90 degrees'));
+#568=(MEASURE_REPRESENTATION_ITEM()MEASURE_WITH_UNIT(PLANE_ANGLE_MEASURE(180.0),#23)
+     PLANE_ANGLE_MEASURE_WITH_UNIT()REPRESENTATION_ITEM('180 degrees'));
+#569=(MEASURE_REPRESENTATION_ITEM()MEASURE_WITH_UNIT(PLANE_ANGLE_MEASURE(270.0),#23)
+     PLANE_ANGLE_MEASURE_WITH_UNIT()REPRESENTATION_ITEM('270 degrees'));
+ENDSEC;
+END-ISO-10303-21;