Skip to content

Instantly share code, notes, and snippets.

View arichardson's full-sized avatar

Alexander Richardson arichardson

  • Mountain View, CA
View GitHub Profile
@arichardson
arichardson / xlocale-1d9a31.c
Created November 16, 2016 15:51
/tmp/xlocale-1d9a31.c
# 1 "<built-in>"
# 1 "/home/alr48/cheri/sources/cheribsd/lib/libc_cheri/../libc/locale/xlocale.c"
/*-
* Copyright (c) 2011 The FreeBSD Foundation
* All rights reserved.
*
* This software was developed by David Chisnall under sponsorship from
* the FreeBSD Foundation.
*
* Redistribution and use in source and binary forms, with or without
@arichardson
arichardson / xlocale-1d9a31.sh
Created November 16, 2016 15:53
/tmp/xlocale-1d9a31.sh
# Crash reproducer for clang version 3.8.0 (https://github.com/CTSRD-CHERI/clang.git 46806ab69ae3c7b52e6e8c6c5fb09d6f343628f4) (https://github.com/CTSRD-CHERI/llvm.git 996d24ab66840a55b5d7d66f7ad9f0a96f18810a)
# Driver args: "-g" "-fintegrated-as" "--target=cheri-unknown-freebsd" "-msoft-float" "--sysroot=/home/alr48/cheri/build/cheribsd-obj-256/mips.mips64/home/alr48/cheri/sources/cheribsd/tmp" "-mabi=sandbox" "-mxgot" "-cheri-linker" "-O2" "-pipe" "-I" "/home/alr48/cheri/sources/cheribsd/lib/libc_cheri/../libc/include" "-I" "/home/alr48/cheri/sources/cheribsd/lib/libc_cheri/../libc/locale" "-I" "/home/alr48/cheri/sources/cheribsd/lib/libc_cheri/../libc/mips" "-I" "/home/alr48/cheri/sources/cheribsd/lib/libc_cheri/../libcheri" "-I" "/home/alr48/cheri/sources/cheribsd/lib/libc_cheri/../libmalloc_simple" "-I" "/home/alr48/cheri/sources/cheribsd/lib/libc_cheri/../../contrib/gdtoa" "-I" "/home/alr48/cheri/sources/cheribsd/lib/libc_cheri/../../contrib/tzcode/stdtime" "-mxgot" "-G" "0" "-I" "/home/alr48/cheri/sour
# 1 "<built-in>"
# 1 "/home/alr48/cheri/sources/cheribsd/bin/cheritest/cheritest_registers.c"
/*-
* Copyright (c) 2012-2016 Robert N. M. Watson
* Copyright (c) 2014 SRI International
* All rights reserved.
*
* This software was developed by SRI International and the University of
* Cambridge Computer Laboratory under DARPA/AFRL contract (FA8750-10-C-0237)
* ("CTSRD"), as part of the DARPA CRASH research programme.
This file has been truncated, but you can view the full file.
# 1 "<built-in>"
# 1 "/exports/users/alr48/sources/cheribsd-postmerge/libexec/cheritest-helper/cheritest-helper.c"
/*-
* Copyright (c) 2012-2016 Robert N. M. Watson
* Copyright (c) 2014-2015 SRI International
* All rights reserved.
*
* This software was developed by SRI International and the University of
* Cambridge Computer Laboratory under DARPA/AFRL contract (FA8750-10-C-0237)
* ("CTSRD"), as part of the DARPA CRASH research programme.
entry: platform_start()
cmd line: /exports/users/alr48/postmerge-rootfs256/boot/kernel/kernel
envp:
memsize = 268435456
ememsize = 2147483648
modetty0 = 38400n8r
memsize = 268435456 (0x10000000)
ememsize = 2147483648
Cache info:
picache_stride = 4096
********************
Failing Tests (58):
Clang :: Analysis/NSContainers.m
Clang :: Analysis/diagnostics/macros.m
Clang :: Analysis/diagnostics/undef-value-param.m
Clang :: Analysis/inlining/false-positive-suppression.m
Clang :: Analysis/inlining/inline-defensive-checks.m
Clang :: Analysis/objc-message.m
Clang :: Analysis/properties.m
Clang :: CodeGenObjC/2009-01-26-WriteBarrier-2.m
# 1 "<built-in>"
# 1 "/local/scratch/alr48/cheri/llvm-test-suite/MultiSource/Applications/JM/lencod/rdopt.c"
/*!
***************************************************************************
* \file rdopt.c
*
* \brief
* Rate-Distortion optimized mode decision
*
crt1.o: file format elf64-tradbigmips
crt1.o
architecture: mips:4000, flags 0x00000011:
HAS_RELOC, HAS_SYMS
mips/crt1.o: file format elf64-tradbigmips
mips/crt1.o
architecture: mips:isa64r2, flags 0x00000011:
HAS_RELOC, HAS_SYMS
start address 0x0000000000000000
private flags = 80000007: [abi=64] [mips64r2] [not 32bitmode] [noreorder] [PIC] [CPIC]
Sections:
Idx Name Size VMA LMA File off Algn
typedef __builtin_va_list __va_list;
typedef long ssize_t;
typedef __va_list va_list;
typedef int FILE;
int fflush(FILE *);
int fprintf(FILE *, const char *, ...) __attribute__(());
int vsnprintf(char *, unsigned long, const char *, __va_list) __attribute__(());
void *bsearch(void *, void *, long, long, int(const void *, const void *));
long strtol(char *, char **, int);
long strtoull(char *, char **, int);