cpychecker: implement gcc.FixTruncExpr

Author: davidmalcolm

libcpychecker/absinterp.py

@@ -488,6 +488,8 @@ def eval_unary_op(self, exprcode, gcctype, loc):
                     return ConcreteValue(gcctype, loc, self.value)
             # We might lose information e.g. truncation; be pessimistic for now:
             return UnknownValue.make(gcctype, loc)
+        elif exprcode == gcc.FixTruncExpr:
+            return ConcreteValue(gcctype, loc, int(self.value))
         else:
             raise NotImplementedError("Don't know how to cope with exprcode: %r (%s) on %s at %s"
                                       % (exprcode, exprcode, self, loc))
@@ -2590,7 +2592,7 @@ def eval_rhs(self, stmt):
                 return UnknownValue.make(stmt.lhs.type, stmt.loc)
         # Unary expressions:
         elif stmt.exprcode in (gcc.AbsExpr, gcc.BitNotExpr, gcc.ConvertExpr,
-                               gcc.NegateExpr):
+                               gcc.NegateExpr, gcc.FixTruncExpr):
             v_rhs = self.eval_rvalue(stmt.rhs[0], stmt.loc)
             return v_rhs.eval_unary_op(stmt.exprcode, stmt.lhs.type, stmt.loc)
         elif stmt.exprcode == gcc.BitFieldRef:

tests/cpychecker/absinterp/arithmetic/fix-trunc-expr/input.c

@@ -0,0 +1,38 @@
+/*
+   Copyright 2012 David Malcolm <dmalcolm@redhat.com>
+   Copyright 2012 Red Hat, Inc.
+
+   This is free software: you can redistribute it and/or modify it
+   under the terms of the GNU General Public License as published by
+   the Free Software Foundation, either version 3 of the License, or
+   (at your option) any later version.
+
+   This program is distributed in the hope that it will be useful, but
+   WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+   General Public License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with this program.  If not, see
+   <http://www.gnu.org/licenses/>.
+*/
+
+#include <Python.h>
+
+/*
+  Test of gcc.FixTruncExpr
+*/
+
+int
+test(float x)
+{
+    return (int)x;
+}
+
+/*
+  PEP-7
+Local variables:
+c-basic-offset: 4
+indent-tabs-mode: nil
+End:
+*/

tests/cpychecker/absinterp/arithmetic/fix-trunc-expr/script.py

@@ -0,0 +1,22 @@
+# -*- coding: utf-8 -*-
+#   Copyright 2011 David Malcolm <dmalcolm@redhat.com>
+#   Copyright 2011 Red Hat, Inc.
+#
+#   This is free software: you can redistribute it and/or modify it
+#   under the terms of the GNU General Public License as published by
+#   the Free Software Foundation, either version 3 of the License, or
+#   (at your option) any later version.
+#
+#   This program is distributed in the hope that it will be useful, but
+#   WITHOUT ANY WARRANTY; without even the implied warranty of
+#   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+#   General Public License for more details.
+#
+#   You should have received a copy of the GNU General Public License
+#   along with this program.  If not, see
+#   <http://www.gnu.org/licenses/>.
+
+from libcpychecker import main
+main(verify_refcounting=True,
+     dump_traces=True,
+     show_traces=False)

tests/cpychecker/absinterp/arithmetic/fix-trunc-expr/stdout.txt

@@ -0,0 +1,8 @@
+Trace 0:
+  Transitions:
+    'returning'
+  Return value:
+    repr(): WithinRange(gcctype='int', loc=gcc.Location(file='tests/cpychecker/absinterp/arithmetic/fix-trunc-expr/input.c', line=29), minvalue=-0x80000000, maxvalue=0x7fffffff)
+    str(): (int)val [-0x80000000 <= val <= 0x7fffffff] from tests/cpychecker/absinterp/arithmetic/fix-trunc-expr/input.c:29
+  Exception:
+    (struct PyObject *)0 from tests/cpychecker/absinterp/arithmetic/fix-trunc-expr/input.c:28