splint  -warnposix -predboolint -boolops -ifempty -nullassign -warnlintcomments -shiftimplementation -observertrans -onlytrans +charint -exportlocal -unrecog -formattype +ignoresigns -abstract  -DUNI_DECOMPOSE -DFOLD_SUPPORT -DDYNAMIC_LOADING -DKEIS_EXTRA_SUPPORT -DSKFDEBUG -DSKFPDEBUG -DOLD_NEC_COMPAT -DKUNIMOTO -DFAST_GETC  -DHAVE_GETENV -DHAVE_CONFIG_H -I. -I. -I.   -DROT_SUPPORT -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -DTABLEDIR="\"/usr/local/share/skf/lib/1.99\""  -DDEFAULT_EOL_LF  skf.c preconvert.c oconv.c skf_fileio.c plug_convert.c error.c in_code_table.c in_converter.c  esc_process.c ucodoconv.c out_code_table.c in_decoder.c brgtconv.c out_encoder.c \
			eucoconv.c jisoconv.c msoconv.c keisoconv.c bgoconv.c 
Splint 3.1.2 --- 03 May 2009

skf.c: (in function main)
skf.c:1223:31: Cast to underlying abstract type skfoFILE *:
                  (skfoFILE *)fdopen(ofd, outmode)
  A pointer to void is cast to a pointer to an abstract type (or vice versa).
  (Use +voidabstract to inhibit warning)
skf.c:1245:7: Return value (type int) ignored: fclose(fout)
  Result returned by function call is not used. If this is intended, can cast
  result to (void) to eliminate message. (Use -retvalint to inhibit warning)
skf.c:1280:6: Variable outb_file_name is released in false branch, but live in
                 true branch.
  The state of a variable is different depending on which branch is taken. This
  means no annotation can sensibly be applied to the storage. (Use -branchstate
  to inhibit warning)
   skf.c:1280:6: in false branch:
   skf.c:1277:12: Storage outb_file_name released
   skf.c:1280:6: in true branch:
   skf.c:214:23: Storage outb_file_name defined
skf.c:1282:2: Clauses exit with fin referencing fresh storage in while body,
                 local storage if loop is not taken
   skf.c:1200:11: Fresh storage fin created
skf.c:1318:21: Function returns with global outs_file_name referencing released
                  storage
  A global variable does not satisfy its annotations when control is
  transferred. (Use -globstate to inhibit warning)
   skf.c:1315:38: Storage outs_file_name released
skf.c:1318:21: Function returns with global out_file_name referencing released
                  storage
   skf.c:1313:34: Storage out_file_name released
oconv.c: (in function decompose_code_dec)
oconv.c:1976:39: Return value (type int) ignored: fflush(stderr)
skf_fileio.c:160:10: Function skf_fopen inconsistently redeclared to return
    possibly null storage, previously declared without null qualifier
  A function, variable or constant is redefined with a different type. (Use
  -incondefs to inhibit warning)
   skf_fileio.h:142:17: Declaration of skf_fopen
plug_convert.c: (in function latin2tex)
plug_convert.c:2303:5: Clauses exit with sym referencing unqualified static
                          storage in true branch, local storage in false branch
   plug_convert.c:2292:17: Storage sym becomes static
error.c: (in function skf_gettext)
error.c:84:25: Fresh storage msg_buf not released before return
  A memory leak has been detected. Storage allocated locally is not released
  before the last reference to it is lost. (Use -mustfreefresh to inhibit
  warning)
   error.c:82:6: Fresh storage msg_buf created
error.c: (in function error_extend_option)
error.c:651:21: Clauses exit with cp referencing unqualified static storage in
                   true branch, local storage in continuation
   error.c:651:21: Storage cp becomes static
error.c: (in function initialize_error)
error.c:706:12: Fresh storage bt not released before return
   error.c:689:2: Fresh storage bt created
error.c:706:12: Fresh storage tl not released before return
   error.c:690:2: Fresh storage tl created
error.c: (in function test_support_charset)
error.c:999:29: Clauses exit with skf_cname referencing unqualified static
                   storage in true branch, local storage in continuation
   error.c:999:29: Storage skf_cname becomes static
error.c: (in function test_support_codeset)
error.c:1047:25: Clauses exit with skf_cname referencing unqualified static
                    storage in true branch, local storage in continuation
   error.c:1047:25: Storage skf_cname becomes static
error.c: (in function debug_analyze)
error.c:1126:2: Fresh storage trans_txt (type char *) not released before
                   assignment: trans_txt = skf_gettext("input code set: ")
   error.c:1065:2: Fresh storage trans_txt created
error.c:1189:2: Fresh storage trans_txt not released before return
   error.c:1126:2: Fresh storage trans_txt created
in_code_table.c: (in function load_external_table)
in_code_table.c:2802:20: Possibly null storage table passed as non-null param:
                            getc (table)
  A possibly null pointer is passed as a parameter corresponding to a formal
  parameter with no /*@null@*/ annotation.  If NULL may be used for this
  parameter, add a /*@null@*/ annotation to the function parameter declaration.
  (Use -nullpass to inhibit warning)
   in_code_table.c:2768:18: Storage table may become null
in_code_table.c:2810:6: Index of possibly null pointer code_tbl: code_tbl
  A possibly null pointer is dereferenced.  Value is either the result of a
  function which may return null (in which case, code should check it is not
  null), or a global, parameter or structure field declared with the null
  qualifier. (Use -nullderef to inhibit warning)
   in_code_table.c:2674:16: Storage code_tbl may become null
in_code_table.c:2828:17: Possibly null storage table passed as non-null param:
                            getc (table)
   in_code_table.c:2768:18: Storage table may become null
in_code_table.c:2835:6: Index of possibly null pointer lcode_tbl: lcode_tbl
   in_code_table.c:2674:34: Storage lcode_tbl may become null
in_code_table.c:2840:15: Possibly null storage table passed as non-null param:
                            fclose (table)
   in_code_table.c:2768:18: Storage table may become null
in_code_table.c:2868:5: Variable code_tbl is kept in true branch, but not kept
                           in false branch.
   in_code_table.c:2868:5: in true branch:
   in_code_table.c:2865:2: Storage code_tbl becomes kept
   in_code_table.c:2868:5: in false branch:
   in_code_table.c:2706:12: Fresh storage code_tbl created
in_code_table.c:2876:26: Index of possibly null pointer tbl_entry->unitbl:
                            tbl_entry->unitbl
in_code_table.c:2878:26: Index of possibly null pointer tbl_entry->uniltbl:
                            tbl_entry->uniltbl
   in_code_table.c:2867:23: Storage tbl_entry->uniltbl may become null
in_code_table.c:2884:29: Function returns with possibly null storage derivable
                            from parameter tbl_entry->unitbl
  A possibly null pointer is reachable from a parameter or global variable that
  is not declared using a /*@null@*/ annotation. (Use -nullstate to inhibit
  warning)
   in_code_table.c:2865:22: Storage tbl_entry->unitbl may become null
in_code_table.c: (in function unicode_normalize_setup)
in_code_table.c:2968:5: Variable ovlay_byte_defs is released in continuation,
                           but live in true branch.
   in_code_table.c:2968:5: in continuation:
   in_code_table.c:2113:4: Storage ovlay_byte_defs released
   in_code_table.c:2968:5: in true branch:
   in_code_table.c:2953:30: Storage ovlay_byte_defs defined
in_code_table.c: (in function code_table_fix)
in_code_table.c:3123:5: Variable uni_t_sjisx208 is kept in true branch, but not
                           kept in false branch.
   in_code_table.c:3123:5: in true branch:
   in_code_table.c:3107:2: Storage uni_t_sjisx208 becomes kept
in_code_table.c:3233:23: Function get_jisx0213_1_table inconsistently
    redeclared to return possibly null storage, previously declared without
    null qualifier
   convert.h:543:30: Declaration of get_jisx0213_1_table
in_code_table.c: (in function input_get_dummy_ltable)
in_code_table.c:3261:12: Unqualified static storage (skf_dummy_ltable) returned
                            as implicitly only: (skf_dummy_ltable)
  Static storage is transferred in an inconsistent way. (Use -statictrans to
  inhibit warning)
in_code_table.c: (in function input_get_dummy_table)
in_code_table.c:3275:12: Unqualified static storage (skf_dummy_table) returned
                            as implicitly only: (skf_dummy_table)
in_converter.c: (in function ks_in)
in_converter.c:1071:8: Return value (type int) ignored: jef_conv(c2, c1)
esc_process.c: (in function esc_process)
esc_process.c:468:2: Variable iso_im2byte_defs is released in false branch, but
                        live in true branch.
   esc_process.c:468:2: in false branch:
   in_code_table.c:2099:4: Storage iso_im2byte_defs released
   esc_process.c:468:2: in true branch:
   esc_process.c:385:14: Storage iso_im2byte_defs defined
esc_process.c:547:2: Variable iso_iso8859_defs is released in false branch, but
                        live in true branch.
   esc_process.c:547:2: in false branch:
   in_code_table.c:2097:4: Storage iso_iso8859_defs released
   esc_process.c:547:2: in true branch:
   esc_process.c:484:14: Storage iso_iso8859_defs defined
ucodoconv.c: (in function utf8_urioutstr)
ucodoconv.c:628:11: Unqualified static storage (ucod_cbuf) returned as
                       implicitly only: (ucod_cbuf)
ucodoconv.c:628:23: Function returns with global ucod_cbuf referencing released
                       storage
   ucodoconv.c:628:11: Storage ucod_cbuf released
ucodoconv.c: (in function utf8_uriout)
ucodoconv.c:643:2: Fresh storage sym not released before scope exit
   ucodoconv.c:636:10: Fresh storage sym created
out_code_table.c: (in function skf_otable_loader)
out_code_table.c:2522:2: Fresh storage utable (type unsigned short int *) not
                            released before assignment: utable = NULL
   out_code_table.c:2500:7: Fresh storage utable created
brgtconv.c: (in function BRGT_ascii_oconv)
brgtconv.c:230:29: Function returns with non-null global uni_o_ascii
                      referencing null storage
   out_code_table.c:2772:23: Storage uni_o_ascii may become null
brgtconv.c:243:2: Function returns with non-null global uni_o_ascii referencing
                     null storage
   out_code_table.c:2772:23: Storage uni_o_ascii may become null
brgtconv.c: (in function BRGT_latin_oconv)
brgtconv.c:300:2: Function returns with non-null global uni_o_latin referencing
                     null storage
   out_code_table.c:2786:25: Storage uni_o_latin may become null
brgtconv.c:300:2: Function returns with non-null global uni_o_symbol
                     referencing null storage
   out_code_table.c:2801:26: Storage uni_o_symbol may become null
out_encoder.c: (in function show_encode_codeset)
out_encoder.c:328:2: Function returns with non-null global alt_desc referencing
                        null storage

Finished checking --- 43 code warnings
make: *** [linttest] Error 1
