Displaying 7 results from an estimated 7 matches for "dsl11".
2016 Jun 02
6
-Wmisleading-indentation violations
.... I've CC'ed the
authors of the potentially misleading lines so they can decide what do
about the warnings (if anything).
I'm wondering if clang-format is making some inappropriate choices
here or these are just genuine mistakes.
Anyway here are the ones I saw in passing.
```
/home/dsl11/dev/llvm-upstream/src/lib/MC/MCParser/DarwinAsmParser.cpp:
In member function ‘bool
{anonymous}::DarwinAsmParser::parseVersionMin(llvm::StringRef,
llvm::SMLoc)’:
/home/dsl11/dev/llvm-upstream/src/lib/MC/MCParser/DarwinAsmParser.cpp:962:3:
warning: this ‘if’ clause does not guard... [-Wmisleading-i...
2015 Dec 15
2
Trouble supressing ASAN reported leaks
...st.txt`` option as documented at
[2]. I'm using Clang 3.7 ( Arch Linux package 3.7.0-6).
The sort of reported leaks I see are
```
==9912==ERROR: LeakSanitizer: detected memory leaks
Direct leak of 24 byte(s) in 1 object(s) allocated from:
#0 0x4df4a0 in operator new(unsigned long)
(/home/dsl11/dev/klee/klee/build_asan/unittests/Expr/Release+Asserts/ExprTests+0x4df4a0)
#1 0x4f76e1 in
klee::Array::CreateArray(std::__cxx11::basic_string<char,
std::char_traits<char>, std::allocator<char> > const&, unsigned long,
klee::ref<klee::ConstantExpr> const*, klee::ref&...
2016 Feb 11
3
Buildling with/without AddressSanitizer causes divergent execution behaviour
...k-origins"
LDFLAGS="-fsanitize=memory" python scripts/mk_make.py --build
build_msan_clang --noomp --debug
cd build_msan_clang
make
make c_example
LD_LIBRARY_PATH=`pwd` ./c_example
==26936==WARNING: MemorySanitizer: use-of-uninitialized-value
#0 0x7fa7d906f3b0 in Z3_open_log
/home/dsl11/dev/klee/z3/z3_upstream/build_msan_clang/../src/api/api_log.cpp:33:13
#1 0x55c0c03107f5 in main
/home/dsl11/dev/klee/z3/z3_upstream/build_msan_clang/../examples/c/test_capi.c:2794:5
#2 0x7fa7d78f960f in __libc_start_main (/usr/lib/libc.so.6+0x2060f)
#3 0x55c0c024d838 in _start
(/home/ds...
2015 Jul 06
4
[LLVMdev] [cfe-dev] 3.6.2-rc1 has been tagged. Testers needed.
Hi,
I've taken a look at the binary tarballs for clang+llvm-3.6.2-rc1-*
that have been uploaded and observed the following:
* All uploaded tarballs include the generated CMake files apart from
``clang+llvm-3.6.2-rc1-x86_64-linux-gnu-ubuntu-14.04.tar.xz``.
These files (share/llvm/cmake/*.cmake) are missing in this tarball.
* Inside the Ubuntu tarball the directory is not consistently named
2016 Feb 09
3
Buildling with/without AddressSanitizer causes divergent execution behaviour
Hi,
# TL;DR
I've been building an application with and without the address
sanitizer (with gcc 5.3 and clang 3.7.1) and I've observed that the
application's behaviour changes (assertion hit/ not hit). I'm
wondering if this could be a bug in address sanitizer or if the
application I'm running is just buggy (e.g. doing bad things like
relying on memory layout, etc.). I'm
2012 Jun 18
0
[LLVMdev] Problem compiling llvm-gcc (needed for KLEE)
...he same.
Does anyone have any idea why this happening and what I can do to fix it?
Thanks,
Dan Liew.
[1] http://llvm.org/releases/2.9/llvm-gcc-4.2-2.9.source.tgz
[2] http://llvm.org/releases/2.9/llvm-2.9.tgz
[3] http://klee.llvm.org/
[4] http://pastebin.com/YMRNqXjD
[5] http://www.doc.ic.ac.uk/~dsl11/llvm-gcc-compile.log
[6] http://www.doc.ic.ac.uk/~dsl11/crtstuff.s
[7] http://www.doc.ic.ac.uk/~dsl11/crtstuff.i
2016 Jan 17
3
Building SVN head with CMake - shared libraries?
Hi,
On Sun, Jan 17, 2016 at 1:04 PM, Dan Liew <dan at su-root.co.uk> wrote:
> On 16 January 2016 at 20:21, Ismail Donmez <ismail at i10z.com> wrote:
>> On Sat, Jan 16, 2016 at 9:33 PM, Dan Liew <dan at su-root.co.uk> wrote:
>>>> I am trying to enable this on openSUSE but it seems to break
>>>> standalone lldb (note that we don't ship static