mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-18 14:16:44 +00:00
1ea584377e
without prototypes. This patch converts the function signatures to have a prototype for the situations where the test is not specific to K&R C declarations. e.g., void func(); becomes void func(void); This is the ninth batch of tests being updated (there are a significant number of other tests left to be updated).
97 lines
2.4 KiB
C
97 lines
2.4 KiB
C
// RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha.unix.SimpleStream -verify %s
|
|
|
|
#include "Inputs/system-header-simulator-for-simple-stream.h"
|
|
|
|
void checkDoubleFClose(int *Data) {
|
|
FILE *F = fopen("myfile.txt", "w");
|
|
if (F != 0) {
|
|
fputs ("fopen example", F);
|
|
if (!Data)
|
|
fclose(F);
|
|
else
|
|
fputc(*Data, F);
|
|
fclose(F); // expected-warning {{Closing a previously closed file stream}}
|
|
}
|
|
}
|
|
|
|
int checkLeak(int *Data) {
|
|
FILE *F = fopen("myfile.txt", "w");
|
|
if (F != 0) {
|
|
fputs ("fopen example", F);
|
|
}
|
|
|
|
if (Data) // expected-warning {{Opened file is never closed; potential resource leak}}
|
|
return *Data;
|
|
else
|
|
return 0;
|
|
}
|
|
|
|
void checkLeakFollowedByAssert(int *Data) {
|
|
FILE *F = fopen("myfile.txt", "w");
|
|
if (F != 0) {
|
|
fputs ("fopen example", F);
|
|
if (!Data)
|
|
exit(0);
|
|
fclose(F);
|
|
}
|
|
}
|
|
|
|
void CloseOnlyOnValidFileHandle(void) {
|
|
FILE *F = fopen("myfile.txt", "w");
|
|
if (F)
|
|
fclose(F);
|
|
int x = 0; // no warning
|
|
}
|
|
|
|
void leakOnEnfOfPath1(int *Data) {
|
|
FILE *F = fopen("myfile.txt", "w");
|
|
} // expected-warning {{Opened file is never closed; potential resource leak}}
|
|
|
|
void leakOnEnfOfPath2(int *Data) {
|
|
FILE *F = fopen("myfile.txt", "w");
|
|
return; // expected-warning {{Opened file is never closed; potential resource leak}}
|
|
}
|
|
|
|
FILE *leakOnEnfOfPath3(int *Data) {
|
|
FILE *F = fopen("myfile.txt", "w");
|
|
return F;
|
|
}
|
|
|
|
void myfclose(FILE *F);
|
|
void SymbolEscapedThroughFunctionCall(void) {
|
|
FILE *F = fopen("myfile.txt", "w");
|
|
myfclose(F);
|
|
return; // no warning
|
|
}
|
|
|
|
FILE *GlobalF;
|
|
void SymbolEscapedThroughAssignmentToGlobal(void) {
|
|
FILE *F = fopen("myfile.txt", "w");
|
|
GlobalF = F;
|
|
return; // no warning
|
|
}
|
|
|
|
void SymbolDoesNotEscapeThoughStringAPIs(char *Data) {
|
|
FILE *F = fopen("myfile.txt", "w");
|
|
fputc(*Data, F);
|
|
return; // expected-warning {{Opened file is never closed; potential resource leak}}
|
|
}
|
|
|
|
void passConstPointer(const FILE * F);
|
|
void testPassConstPointer(void) {
|
|
FILE *F = fopen("myfile.txt", "w");
|
|
passConstPointer(F);
|
|
return; // expected-warning {{Opened file is never closed; potential resource leak}}
|
|
}
|
|
|
|
void testPassToSystemHeaderFunctionIndirectly(void) {
|
|
FileStruct fs;
|
|
fs.p = fopen("myfile.txt", "w");
|
|
fakeSystemHeaderCall(&fs); // invalidates fs, making fs.p unreachable
|
|
} // no-warning
|
|
|
|
void testOverwrite(void) {
|
|
FILE *fp = fopen("myfile.txt", "w");
|
|
fp = 0;
|
|
} // expected-warning {{Opened file is never closed; potential resource leak}}
|