Merge pull request #109 from goblint/issue_91

Allow casts from any type to `void`

Author: michael-schwarz

src/frontc/cabs2cil.ml

@@ -1416,7 +1416,7 @@ let rec castTo ?(fromsource=false)
         result
 
           (* The expression is evaluated for its side-effects *)
-    | (TInt _ | TEnum _ | TPtr _ ), TVoid _ ->
+    | _ , TVoid _ ->
         (ot, e)
 
           (* Even casts between structs are allowed when we are only

test/small1/c99-tgmath2.c

@@ -0,0 +1,25 @@
+#include <stdio.h>
+#include <tgmath.h>
+#include <complex.h>
+#include "testharness.h"
+
+typedef struct loc_t
+{
+  long nloc;
+} loc_t;
+
+
+void fun(const loc_t* loc) {
+    long l =8;
+    int n0 =(int)sqrt(l); // works
+    int n1 =(int)sqrt(loc->nloc); // fails
+}
+
+
+int main() {
+  loc_t loc;
+  loc.nloc = 5;
+  loc_t* ptr = &loc;
+  fun(ptr);
+  SUCCESS;
+}

test/testcil.pl

@@ -695,6 +695,7 @@ sub addToGroup {
 addTest("testrunc99/c99-universal-character-names");
 
 addTest("testrunc99/c99-tgmath");
+addTest("testrunc99/c99-tgmath2");
 addTest("testrunc99/c99-float-pragma");
 addTest("testrunc99/c99-fixed-width-int");
 addTest("combinec99inline");