source: CIVL/examples/library/civlc/freeBad2.cvl@ dccd621

1.23 2.0 acw/focus-triggers main test-branch
Last change on this file since dccd621 was 4208097, checked in by Manchun Zheng <zmanchun@…>, 12 years ago

Added separated libraries for civl (including civl implementation and library enabler/evaluator/executor); modified the examples in example/library/civlc accordingly;

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

  • Property mode set to 100644
File size: 188 bytes
Line 
1#include <civlc.cvh>
2
3void main(){
4 int * a = (int*) $malloc($here, sizeof(int));
5
6 $free(NULL);
7 $free(a);
8 $free(a); //a has already been deallocated and the call is error prone.
9}
Note: See TracBrowser for help on using the repository browser.