cgcgbcbc

0

votes
0

answer
3

views

Why implicit free's declaration is taken vararg parameter in llvm

Taken the following code int main() { int* a = (int*) malloc(sizeof(int) * 10); free(a); return 0; } If compile it to llvm IR by clang -S -emit-llvm -O0 -g, free's declaration is: declare i32 @free(...) #2 However, if I add #include , free's declaration is: declare void @free(i8*) #2 By adding inclu...
cgcgbcbc
1

votes
2

answer
102

views

get llvm CallInst's attributes via C API

How can I get a CallInst's attributes (including return value, parameters, function) via C API(version 3.9)? I can find some api for Function attribute but cannot find any for CallInst, besides, for the given function: declare noalias i8* @malloc(i64) #1 LLVMGetFunctionAttr returns 32, whereas noali...
cgcgbcbc
1

votes
2

answer
1.1k

views

How to use rx java's interval for background task

According to https://github.com/ReactiveX/RxAndroid/issues/257#issuecomment-164263215 . interval is just for active code, and if app is not wake up, it will not work. So how to use interval for background scheduling tasks?
cgcgbcbc
2

votes
1

answer
408

views

will docker share binary file or not?

Supposed that I will host two project on one machine and both of them will use apache. Then I need to create two container to separate them. And I need run apt-get install apache2 in both container. Will it take twice space as much as apache2's size?
cgcgbcbc
7

votes
0

answer
866

views

How to add compile dependency to javadoc class path in gradle

In gradle if I my project depends on another package, for example: compile 'com.example:foo:0.82.2' And in my javadoc, it references symbol in that package. Then if I run javadoc task, it will say error: reference not found I know I should add that package to class path, just like the following way...
cgcgbcbc
4

votes
2

answer
5.2k

views

maven android plugin with android support library v7

I use maven-android-plugin to build my android app which depends on android support library v4 and v7. Since I didn't find how to download the whole sdk from developer.android.com, I cnnot use maven android deployee tool to set local repository of android sdk.Thus I want to use the support library t...
cgcgbcbc
3

votes
1

answer
90

views

Why is Z3 not able to solve this instance without a seemingly trivial modification?

The original problem is: (declare-const a Real) (declare-const b Bool) (declare-const c Int) (assert (distinct a 0.)) (assert (= b (distinct (* a a) 0.))) (assert (= c (ite b 1 0))) (assert (not (distinct c 0))) (check-sat) The result is unknown. But the last two constraints, taken together, are equ...
cgcgbcbc