Files

.githooks
.github
cmake
doc
integration
jbmc
regression
- acceleration
- ansi-c
  - Array_Declarator1
  - Array_Declarator2
  - Array_Declarator3
  - Array_Declarator4
  - Array_Declarator5
  - Array_Declarator6
  - Array_Declarator7
  - Array_Declarator8
  - Atomic1
  - Defines1
  - Empty_Declaration1
  - Forward_Declaration1
  - Forward_Declaration2
  - Function_parameters1
  - Function_parameters2
  - Function_pointer1
  - Header_files1
  - Incomplete_Type1
  - Initializer_cast1
  - Initializer_cast2
  - KnR1
  - KnR2
  - KnR3
  - Lvalue1
  - MMX1
  - MMX2
  - Multiple
  - Pointer-to-non-byte
  - Qualifiers1
  - Recursive_Structure1
  - Recursive_Structure2
  - Struct_Bitfields1
  - Struct_Enum_Padding1
  - Struct_Hierarchy1
  - Struct_Initialization1
  - Struct_Initialization2
  - Struct_Padding2
  - Struct_Padding3
  - Struct_Padding4
  - Struct_Padding5
  - Struct_Padding6
  - Struct_Padding7
  - Struct_ptrmember1
  - Transparent_union1
  - Transparent_union2
  - Typecast_to_array_ptr1
  - Typecast_to_union1
  - Union_Initialization1
  - Union_Initialization2
  - Union_Initialization3
  - Union_Padding1
  - Union_Padding2
  - Universal_characters1
  - VS_extensions1
  - Zero_Initialization1
  - _Alignof1
  - _Bool1
  - _Generic1
  - _Noreturn1
  - _Static_assert1
  - _Static_assert2
  - __builtin_clz-02
  - always_inline1
  - always_inline2
  - always_inline3
  - always_inline4
  - always_inline5
  - always_inline6
  - always_inline7
  - always_inline8
  - always_inline9
  - anonymous_member1
  - anonymous_member2
  - anonymous_member3
  - anonymous_union1
  - arch_flags_mcpu_bad
  - arch_flags_mcpu_good
  - arch_flags_mthumb_bad
  - arch_flags_mthumb_good
  - arithmetic_right_shift1
  - array_initialization1
  - array_initialization2
  - array_initialization3
  - array_initialization4
  - array_initialization5
  - array_initialization6
  - asm1
  - asm2
  - asm3
  - bitfields1
  - bitfields2
  - builtin_ia32_undef
  - builtin_is
  - builtin_nontemporal_load_store
  - builtin_va_copy_lvalue
  - builtin_va_copy_two
  - builtin_va_end_lvalue
  - builtin_va_end_one
  - builtin_va_start_lvalue
  - builtin_va_start_two
  - character_literals1
  - clang_target
  - const1
  - const2
  - contracts_scope1
  - decl_initialization1
  - decl_initialization2
  - duplicate_label1
  - duplicate_local1
  - enum1
  - enum2
  - enum3
  - enum4
  - enum5
  - enum6
  - enum7
  - enum8
  - enum9
  - enum_is_in_range
  - enum_with_underlying_type
  - envp1
  - errors
    - file_with_no_newline.desc
    - file_with_no_newline.i
  - extern1
  - extern2
  - extern_inline1
  - float_constant1
  - float_constant2
  - for_scope1
  - forceinline1
  - function_return1
  - function_with_postfix_attributes
  - gcc___auto_type1
  - gcc_attribute_used1
  - gcc_attributes1
  - gcc_attributes10
  - gcc_attributes11
  - gcc_attributes12
  - gcc_attributes13
  - gcc_attributes14
  - gcc_attributes15
  - gcc_attributes2
  - gcc_attributes3
  - gcc_attributes4
  - gcc_attributes5
  - gcc_attributes6
  - gcc_attributes7
  - gcc_attributes8
  - gcc_attributes9
  - gcc_builtin_constant_p1
  - gcc_builtins1
  - gcc_builtins2
  - gcc_builtins3
  - gcc_builtins4
  - gcc_builtins5
  - gcc_builtins6
  - gcc_float_types1
  - gcc_types_compatible_p1
  - gcc_types_compatible_p2
  - gcc_types_compatible_p3
  - gcc_types_compatible_p4
  - gcc_vector1
  - gcc_vector2
  - gcc_version1
  - goto_convert_assert
  - goto_convert_break
  - goto_convert_continue
  - goto_convert_invalid_goto_label
  - goto_convert_switch_range_bounds
  - goto_convert_switch_range_case_valid
  - goto_convert_switch_range_empty
  - goto_convert_switch_range_empty_nodefault
  - goto_convert_switch_range_operands_count
  - human-readable-error-on-wrong-main-signature
  - int128_and_bool1
  - integer_constant1
  - integer_constant2
  - invalid_bitop1
  - invalid_bitop2
  - invalid_function_definition1
  - invalid_redeclaration1
  - invalid_use_of_void1
  - label1
  - linking1
  - linking_conflicts1
  - linking_conflicts2
  - linking_contracts1
  - main1
  - message_handling1
  - noop1
  - null_pointer_constant1
  - pointer_arithmetic1
  - pragma_pack1
  - pragma_pack2
  - pragma_pack3
  - pragma_pack4
  - r_w_ok-expected-failures
  - r_w_ok1
  - return_void
  - simplify-overflow
  - sizeof1
  - sizeof2
  - sizeof3
  - sizeof4
  - sizeof5
  - static1
  - static2
  - static3
  - static4
  - static5
  - static_inline1
  - struct2
  - struct3
  - struct5
  - struct6
  - struct7
  - struct8
  - struct9
  - switch1
  - typedef1
  - typedef2
  - typedef_code
  - typeof1
  - undeclared_function
  - windows_h_VS_2005
  - windows_h_VS_2008
  - windows_h_VS_2010
  - windows_h_VS_2012
  - windows_h_VS_2013
  - CMakeLists.txt
  - Makefile
- array-refinement-with-incr
- book-examples
- catch-framework
- cbmc-concurrency
- cbmc-cover
- cbmc-cpp
- cbmc-incr-oneloop
- cbmc-incr-smt2
- cbmc-incr
- cbmc-library
- cbmc-output-file
- cbmc-primitives
- cbmc-sequentialization
- cbmc-shadow-memory
- cbmc-with-incr
- cbmc
- contracts-dfcc
- contracts
- cpp-linter
- cpp
- cprover
- crangler
- extract_type_header
- goto-analyzer-simplify
- goto-analyzer-taint
- goto-analyzer
- goto-bmc
- goto-cc-cbmc
- goto-cc-file-local
- goto-cc-goto-analyzer
- goto-cc-multi-file
- goto-cc-regression-gh-issue-5380
- goto-cl
- goto-diff
- goto-gcc
- goto-harness-multi-file-project
- goto-harness
- goto-inspect
- goto-instrument-chc
- goto-instrument-json
- goto-instrument-typedef
- goto-instrument-wmm-core
- goto-instrument
- goto-interpreter
- goto-ld
- goto-synthesizer
- invariants
- k-induction
- libcprover-cpp
- linking-goto-binaries
- memory-analyzer
- smt2_solver
- smt2_strings
- snapshot-harness
- solver-hardness
- statement-list
- strings
- symtab2gb-cbmc
- symtab2gb
- systemc
- test-script
- validate-trace-xml-schema
- .gitignore
- CMakeLists.txt
- Makefile
- README.md
- test.pl
scripts
src
unit
.clang-format
.clang-format-ignore
.dir-locals.el
.editorconfig
.gitattributes
.gitignore
.gitmodules
CHANGELOG
CMakeLists.txt
CODEOWNERS
CODING_STANDARD.md
COMPILING.md
Dockerfile
FEATURE_IDEAS.md
LICENSE
README.md
RELEASE_PROCESS.md
TOOLS_OVERVIEW.md

file_with_no_newline.i

line number for files with no newline

Feb 19, 2025

a262c00 · Feb 19, 2025