Displaying 5 results from an estimated 5 matches for "sanitizy".
Did you mean:
sanitize
2013 Jun 27
1
[LLVMdev] [MSan] false positive from Memory Sanitizer?
In the example below, the Memory Sanitizier (from clang 3.3) reports an error:
#include <math.h>
int main() {
double x;
(void) modf(0, &x);
if (x) { // Boom
return 1;
}
return 0;
}
I see that modf() is not implemented by compiler-rt. Is it possible
to make the Memory Sanitizer assume that all un-instrumented functions
initialize any pointers arguments?
2012 Jul 11
0
[LLVMdev] RFC: How can AddressSanitizer, ThreadSanitizer, and similar runtime libraries leverage shared library code?
Reviving the discussion.
The cool cmake-build of compiler-rt is not completely functional, but
allows sanitizer runtimes to reuse LLVM code with almost no dirty hacks.
Suppose I want to run call functions from LLVM libs (currently:
LLVMDebugInfo, LLVMSupport) from sanitizer runtime.
1) I can simply include LLVM headers in sanitizer runtime, and it compiles
and builds static asan runtime
2017 Jun 09
0
test builds on private server updates (mesa, kernel)
Hello Guys,
I really wanted to just update mesa. But the Linux kernel was also done quickly.
- Mesa 17.1.2 (remove sanitizy check, otherwise fail to built)
- Kernel 4.11.4
can be found at:
http://centos.cms4all.org/repo/7/kernel/
http://centos.cms4all.org/repo/7/mesa/
Unfortunately still no time found to care about winehq.
OK. My daughter plays under the same driver stack in manjaro linux World of Warcraft for h...
2012 Jun 21
2
[LLVMdev] RFC: How can AddressSanitizer, ThreadSanitizer, and similar runtime libraries leverage shared library code?
On Thu, Jun 21, 2012 at 1:44 PM, Chandler Carruth <chandlerc at google.com>wrote:
> Can we alter the build system so that when building a run-time library it
>>>>>>>> modifies all .cpp files like this:
>>>>>>>> namespace FOO {
>>>>>>>> <file body>
>>>>>>>> }
2015 Apr 09
1
Trouble of setting samba with join AD
I used this command to provision the domain
sudo /usr/bin/samba-tool domain provision --realm test.sg --domain TEST
--adminpass Pa$$worD --server-role=dc
here below i include my /etc/samba/smb.conf :
# Global parameters
[global]
workgroup = TEST
realm = TEST.SG
netbios name = 4ecapsvsg6
server role = active directory domain controller
dns forwarder =