Skip to content

Commit f57b1d3

Browse files
committed
force dummy change to trigger internal checks
1 parent 1a4c07a commit f57b1d3

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

cpp/ql/src/Critical/DoubleFreeBad.cpp

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
12
int* f() {
23
int *buff = malloc(SIZE*sizeof(int));
34
do_stuff(buff);

0 commit comments

Comments
 (0)