[ci] add CI

This commit is contained in:
olemorud
2023-03-14 15:29:07 +01:00
parent fb9ac95d1a
commit 6bc12485dd
7 changed files with 108 additions and 32 deletions

20
test/generate_warnings.c Normal file
View File

@@ -0,0 +1,20 @@
#include <limits.h>
int bad_code(float n) {
int small[3];
char index = 10;
int x = small[index];
double promoted = 3.14159 * n * n;
return bad_code(x);
}
int main() {
printf("%s %s", bad_code(1.0f));
}