// Using __assert_rtn to log asserts because it has the side benefit of
// putting data in the CrashReport logs which would be useful.
// __assert_rtn is a somewhat "private" api.
// Since we are going to "assert" anyway, we ignore leaks from asprintf.
static void SetUpStdFileDescriptor(const char *env_name, int file_no) {
const char *path = getenv(env_name);
if (path) {
int fd = open(path, O_RDWR | O_CREAT | O_APPEND);
if (fd == -1) {
char *crash_log_message;
asprintf(&crash_log_message, "Could not open %s for %s - %s",
env_name, path, strerror(errno));
__assert_rtn(__func__, __FILE__, __LINE__, crash_log_message);
} else {
if (fchmod(fd, 0666) == -1) {
char *crash_log_message;
asprintf(&crash_log_message, "Could not chmod %s for %s - %s",
env_name, path, strerror(errno));
__assert_rtn(__func__, __FILE__, __LINE__, crash_log_message);
}
if (dup2(fd, file_no) == -1) {
char *crash_log_message;
asprintf(&crash_log_message, "Could not dup %s for %s - %s",
env_name, path, strerror(errno));
__assert_rtn(__func__, __FILE__, __LINE__, crash_log_message);
}
}
}
}
int main()
{
StartClock();
int *ptr = (int *)(malloc((100 * (sizeof(int )))));
int *ptr2 = (int *)(malloc((10 * (sizeof(int )))));
(__builtin_expect((!(ptr2 != 0L)),0))?__assert_rtn(__func__,"/Users/vanka1/research/compilers/rose_public/rose_build/projects/RTC/pointer_example.cpp",17,"ptr2 != NULL") : ((void )0);
int *start_ptr = ptr;
int *start_ptr2 = ptr2;
// Crossing the boundary of ptr. The condition should
// be less than, not less than or equal to
// ptr[PTR_SIZE] is an out-of-bounds access
for (int index = 0; index <= (100 + 1); index++) {
*ptr = index;
ptr++;
}
// Resetting ptr to start_ptr, so that it points to the beginning
// of the allocation
ptr = start_ptr;
// Printing what we wrote above
for (int index = 0; index <= (100 + 1); index++) {
printf("ptr[%d]=%d\n",index, *ptr);
ptr++;
}
#if 0
// Resetting ptr to start_ptr, so that it points to the beginning
// of the allocation
// Memsetting ptr and ptr2 allocations, in one go.
// This is also crossing the boundaries of ptr. It assumes that
// ptr and ptr2 are in contiguous locations
// Resetting ptr to start_ptr, so that it points to the beginning
// of the allocation
// Printing ptr and ptr2 *and* one more beyond ptr2, all using
// ptr! This still works since malloc asks for more than it needs
// always.
#endif
(__builtin_expect((!(ptr2 != 0L)),0))?__assert_rtn(__func__,"/Users/vanka1/research/compilers/rose_public/rose_build/projects/RTC/pointer_example.cpp",68,"ptr2 != NULL") : ((void )0);
printf("Before free ptr2\n");
fflush(0L);
free(ptr2);
#if 0
#if 0
// Retrying the print above, after freeing ptr2. This should
// crash--- and it does!
#endif
// Allocating another pointer
// This allocation might take the place of ptr2. In this case,
// printing ptr beyond its boundaries should be okay
// Nope this also crashes!
#endif
EndClock();
return 1;
}
void compilerrt_abort_impl(const char *file, int line, const char *function) {
__assert_rtn(function, file, line, "libcompiler_rt abort");
}
