source:
CIVL/examples/languageFeatures/mallocBad2.cvl@
c66e452
| Last change on this file since c66e452 was d66b03b, checked in by , 10 years ago | |
|---|---|
|
|
| File size: 219 bytes | |
| Line | |
|---|---|
| 1 | /* Commandline execution: |
| 2 | * civl verify mallocBad2.cvl |
| 3 | * */ |
| 4 | #include <civlc.cvh> |
| 5 | void main() { |
| 6 | $scope s=$here; |
| 7 | double *p; |
| 8 | |
| 9 | // Uses pointer without malloc. |
| 10 | p[4]=3.14; |
| 11 | $assert(p[4]==3.14); |
| 12 | $free(p); |
| 13 | } |
Note:
See TracBrowser
for help on using the repository browser.
