source: CIVL/examples/library/funcPointer.cvl@ fd6d345

1.23 2.0 main test-branch
Last change on this file since fd6d345 was b881a0e, checked in by Manchun Zheng <zmanchun@…>, 11 years ago

fixed a bug that happens when a function pointer refers to a system function.

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@2234 fb995dde-84ed-4084-dfe6-e5aef3e2452c

  • Property mode set to 100644
File size: 136 bytes
RevLine 
[b881a0e]1#include <civlc.cvh>
2
3void test(void f(void*), void* x){
4 f(x);
5}
6
7int main(){
8 int x;
9
10 test($set_default, &x);
11 $assert(x==0);
12}
13
Note: See TracBrowser for help on using the repository browser.