AnnaSnoeijs/AnnaConnect
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Added attributes to code such that -Wformat-truncation=0 can be removed

Browse source
This commit is contained in:
AnnaSnoeijs 2025-06-14 23:02:26 +02:00
parent 4bfaa26297
commit c72abd8bbf
2 changed files with 12 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
makefile
View file

@ -19,7 +19,7 @@ FLAGS += -Wall
FLAGS += -Wextra FLAGS += -Wextra
FLAGS += -Werror FLAGS += -Werror
# This flag is because of the compiler otherwise giving too much warning # This flag is because of the compiler otherwise giving too much warning
FLAGS += -Wformat-truncation=0 #FLAGS += -Wformat-truncation=0
# Compile flag for defining GITHASH to put at the end of the version string # Compile flag for defining GITHASH to put at the end of the version string
GITFLAG = -D'GITHASH=$(shell git rev-parse --short=1 HEAD)' GITFLAG = -D'GITHASH=$(shell git rev-parse --short=1 HEAD)'

14
ui_ncurses.c
View file

@ -71,6 +71,7 @@ void initBoard( const board_t board ){
keypad(stdscr, TRUE); keypad(stdscr, TRUE);
nonl(); nonl();
echo(); echo();
__attribute__((assume(board.columns < 999)));
for( columnsint_t column = 0; column < board.columns; column++ ){ for( columnsint_t column = 0; column < board.columns; column++ ){
char colnum[4]; char colnum[4];
snprintf( snprintf(
@ -96,8 +97,10 @@ void initBoard( const board_t board ){
} }
for( rowsint_t row = 0; row < board.rows; row++ ){ for( rowsint_t row = 0; row < board.rows; row++ ){
char rownum[4]; char rownum[4];
const int intToPrint = board.rows - row + FIRST_NUMBER - 1;
__attribute__((assume(intToPrint <= 256)));
snprintf( snprintf(
rownum, sizeof(rownum), "%2d", board.rows - row + FIRST_NUMBER - 1 rownum, sizeof(rownum), "%2d", intToPrint
); );
mvaddstr( mvaddstr(
BOARD_Y + BOARD_DY * ( row + 1 ), BOARD_Y + BOARD_DY * ( row + 1 ),
@ -215,8 +218,13 @@ columnsint_t askColumn(
if( board.player ) addstr( "p1" ); if( board.player ) addstr( "p1" );
else addstr( "p0" ); else addstr( "p0" );
refresh(); refresh();
for(; board.height[ column ] >= board.rows; ) for(; board.height[ column ] >= board.rows; ){
column += ( column < board.columns - 1 ); column++;
if( column == board.columns ){
getch();
return QUITCOLUMN;
}
}
for(;;){ for(;;){
int ch = mvgetch( int ch = mvgetch(
BOARD_Y + BOARD_DY * ( board.rows - board.height[ column ] ), BOARD_Y + BOARD_DY * ( board.rows - board.height[ column ] ),