| 208 | } |
| 209 | |
| 210 | void |
| 211 | CGOptions::set_default_settings(void) |
| 212 | { |
| 213 | set_platform_specific_options(); |
| 214 | compute_hash(true); |
| 215 | max_funcs(CGOPTIONS_DEFAULT_MAX_SPLIT_FILES); |
| 216 | max_funcs(CGOPTIONS_DEFAULT_MAX_FUNCS); |
| 217 | max_params(CGOPTIONS_DEFAULT_MAX_PARAMS); |
| 218 | max_block_size(CGOPTIONS_DEFAULT_MAX_BLOCK_SIZE); |
| 219 | max_blk_depth(CGOPTIONS_DEFAULT_MAX_BLOCK_DEPTH); |
| 220 | max_expr_depth(CGOPTIONS_DEFAULT_MAX_EXPR_DEPTH); |
| 221 | max_struct_fields(CGOPTIONS_DEFAULT_MAX_STRUCT_FIELDS); |
| 222 | max_union_fields(CGOPTIONS_DEFAULT_MAX_UNION_FIELDS); |
| 223 | max_nested_struct_level(CGOPTIONS_DEFAULT_MAX_NESTED_STRUCT_LEVEL); |
| 224 | fixed_struct_fields(false); |
| 225 | expand_struct(false); |
| 226 | max_array_dimensions(CGOPTIONS_DEFAULT_MAX_ARRAY_DIMENSIONS); |
| 227 | max_array_length_per_dimension(CGOPTIONS_DEFAULT_MAX_ARRAY_LENGTH_PER_DIMENSION); |
| 228 | max_array_length(CGOPTIONS_DEFAULT_MAX_ARRAY_LENGTH); |
| 229 | max_exhaustive_depth(CGOPTIONS_DEFAULT_MAX_EXHAUSTIVE_DEPTH); |
| 230 | max_indirect_level(CGOPTIONS_DEFAULT_MAX_INDIRECT_LEVEL); |
| 231 | output_file(CGOPTIONS_DEFAULT_OUTPUT_FILE); |
| 232 | interested_facts(ePointTo | eUnionWrite); |
| 233 | allow_const_volatile(true); |
| 234 | avoid_signed_overflow(true); |
| 235 | CGOptions::paranoid(false); |
| 236 | CGOptions::quiet(false); |
| 237 | CGOptions::concise(false); |
| 238 | CGOptions::nomain(false); |
| 239 | random_based(true); |
| 240 | use_struct(true); |
| 241 | use_union(true); |
| 242 | compact_output(false); |
| 243 | msp(false); |
| 244 | func1_max_params(CGOPTIONS_DEFAULT_FUNC1_MAX_PARAMS); |
| 245 | splat(false); |
| 246 | klee(false); |
| 247 | crest(false); |
| 248 | ccomp(false); |
| 249 | coverage_test(false); |
| 250 | coverage_test_size(CGOPTIONS_DEFAULT_COVERAGE_TEST_SIZE); |
| 251 | packed_struct(true); |
| 252 | bitfields(true); |
| 253 | prefix_name(false); |
| 254 | sequence_name_prefix(false); |
| 255 | compatible_check(false); |
| 256 | compound_assignment(true); |
| 257 | math64(true); |
| 258 | inline_function(false); |
| 259 | math_notmp(false); |
| 260 | longlong(true); |
| 261 | int8(true); |
| 262 | uint8(true); |
| 263 | enable_float(false); |
| 264 | strict_float(false); |
| 265 | pointers(true); |
| 266 | arrays(true); |
| 267 | strict_const_arrays(false); |
nothing calls this directly
no outgoing calls
no test coverage detected