"\n";
/* main function */
-/*@-globstate@*/
+/*@-globstate -unrecog@*/
int
main(int argc, char *argv[])
{
exttail = strrchr(obj_filename, '.');
if (!exttail)
exttail = strrchr(obj_filename, '\0');
+ /*@-nullpass@*/
sprintf(exttail, ".%s", cur_objfmt->extension);
+ /*@=nullpass@*/
/* open the built filename */
obj = fopen(obj_filename, "wb");
BitVector_Shutdown();
return EXIT_SUCCESS;
}
-/*@=globstate@*/
+/*@=globstate =unrecog@*/
/*
* Command line options handlers
line: '\n' { $$ = (bytecode *)NULL; }
| lineexp '\n'
| LINE INTNUM '+' INTNUM FILENAME '\n' {
- line_number = intnum_get_uint($2);
- line_number_inc = intnum_get_uint($4);
+ line_number = (unsigned int)intnum_get_uint($2);
+ line_number_inc = (unsigned int)intnum_get_uint($4);
line_number -= line_number_inc; /* as we'll add it back in */
switch_filename($5);
intnum_delete($2);
line: '\n' { $$ = (bytecode *)NULL; }
| lineexp '\n'
| LINE INTNUM '+' INTNUM FILENAME '\n' {
- line_number = intnum_get_uint($2);
- line_number_inc = intnum_get_uint($4);
+ line_number = (unsigned int)intnum_get_uint($2);
+ line_number_inc = (unsigned int)intnum_get_uint($4);
line_number -= line_number_inc; /* as we'll add it back in */
switch_filename($5);
intnum_delete($2);
"\n";
/* main function */
-/*@-globstate@*/
+/*@-globstate -unrecog@*/
int
main(int argc, char *argv[])
{
exttail = strrchr(obj_filename, '.');
if (!exttail)
exttail = strrchr(obj_filename, '\0');
+ /*@-nullpass@*/
sprintf(exttail, ".%s", cur_objfmt->extension);
+ /*@=nullpass@*/
/* open the built filename */
obj = fopen(obj_filename, "wb");
BitVector_Shutdown();
return EXIT_SUCCESS;
}
-/*@=globstate@*/
+/*@=globstate =unrecog@*/
/*
* Command line options handlers
line: '\n' { $$ = (bytecode *)NULL; }
| lineexp '\n'
| LINE INTNUM '+' INTNUM FILENAME '\n' {
- line_number = intnum_get_uint($2);
- line_number_inc = intnum_get_uint($4);
+ line_number = (unsigned int)intnum_get_uint($2);
+ line_number_inc = (unsigned int)intnum_get_uint($4);
line_number -= line_number_inc; /* as we'll add it back in */
switch_filename($5);
intnum_delete($2);
line: '\n' { $$ = (bytecode *)NULL; }
| lineexp '\n'
| LINE INTNUM '+' INTNUM FILENAME '\n' {
- line_number = intnum_get_uint($2);
- line_number_inc = intnum_get_uint($4);
+ line_number = (unsigned int)intnum_get_uint($2);
+ line_number_inc = (unsigned int)intnum_get_uint($4);
line_number -= line_number_inc; /* as we'll add it back in */
switch_filename($5);
intnum_delete($2);