Print this page
new smatch
*** 28,38 ****
* check-name: int128
* check-command: test-linearize $file
* check-output-ignore
*
* check-output-contains: ret\\..*\\$16
! * check-output-contains: mulu\\.128
* check-output-contains: add\\.128
*
* check-error-start
int128.c:5:18: error: two or more data types in declaration specifiers
int128.c:5:18: error: Trying to use reserved word 'int' as identifier
--- 28,38 ----
* check-name: int128
* check-command: test-linearize $file
* check-output-ignore
*
* check-output-contains: ret\\..*\\$16
! * check-output-contains: mul\\.128
* check-output-contains: add\\.128
*
* check-error-start
int128.c:5:18: error: two or more data types in declaration specifiers
int128.c:5:18: error: Trying to use reserved word 'int' as identifier