gcc-python-plugin January 2012

gcc-python-plugin@lists.fedorahosted.org

5 participants
12 discussions

fix issue #31
by Tom Tromey 02 Feb '12

02 Feb '12

This fixes issue #31 by documenting a couple of fields of IntegerType. The bug is just that min_value and max_value are not documented. I looked and all the other fields are documented. It would be nice if there were a way to verify that each field or method is also documented, so that "make" would fail if something were missing. Offhand I am not sure how best to do this. Tom >From 51de57a5b9ddb150d5eceee9332538caca87c7b1 Mon Sep 17 00:00:00 2001 From: Tom Tromey <tromey(a)redhat.com> Date: Tue, 24 Jan 2012 13:49:36 -0700 Subject: [PATCH 2/2] Fix issue #31 --- docs/tree.rst | 8 ++++++++ 1 files changed, 8 insertions(+), 0 deletions(-) diff --git a/docs/tree.rst b/docs/tree.rst index cd3090f..d3798ad 100644 --- a/docs/tree.rst +++ b/docs/tree.rst @@ -425,6 +425,14 @@ Types The gcc.IntegerType for the unsigned version of this type + .. py:attribute:: max_value + + The maximum possible value for this type, as a `gcc.IntegerCst` + + .. py:attribute:: min_value + + The minimum possible value for this type, as a `gcc.IntegerCst` + .. py:class:: gcc.FloatType Subclass of :py:class:`gcc.Type` representing C's `float` and `double` types -- 1.7.6.5

2 1

fix issue #6
by Tom Tromey 02 Feb '12

02 Feb '12

This "fixes" issue #6 by documenting the current state. The bug requests a way to call define_macro with two arguments, but David pointed out that define_macro("NAME=VALUE") already works. Tom >From 4977934000d92c107d8d779476a2bfa2d84f9977 Mon Sep 17 00:00:00 2001 From: Tom Tromey <tromey(a)redhat.com> Date: Tue, 24 Jan 2012 13:29:16 -0700 Subject: [PATCH 1/2] Fix issue #6 by documenting that define_macro accepts a definition as well. --- docs/preprocessor.rst | 13 ++++++++++--- 1 files changed, 10 insertions(+), 3 deletions(-) diff --git a/docs/preprocessor.rst b/docs/preprocessor.rst index 7e37f03..e4110f3 100644 --- a/docs/preprocessor.rst +++ b/docs/preprocessor.rst @@ -7,10 +7,17 @@ For languages that support a preprocessor, it's possible to inject new The motivation for this is to better support the creation of custom attributes, by creating preprocessor names that can be tested against. -.. py:function:: gcc.define_macro(name) +.. py:function:: gcc.define_macro(argument) - Defines a preprocessor macro with the given name, which may be of use - for code that needs to test for the presence of your script. + Defines a preprocessor macro with the given argument, which may be + of use for code that needs to test for the presence of your script. + The argument can either be a simple name, or a name with a + definition: + + .. code-block:: python + + gcc.define_macro("SOMETHING") # define as the empty string + gcc.define_macro("SOMETHING=72") This function can only be called from within specific event callbacks, since it manipulates the state of the preprocessor for a given source -- 1.7.6.5

2 1

Compile with -fPIC on amd64
by David Narvaez 30 Jan '12

30 Jan '12

Hi, A couple of weeks ago I sent a couple of patches via private e-mail to David Malcom and one of them (attached) was not accepted because it was not clear why it was needed. At the moment I didn't have more info on that, but now that I came back to the issue, found some interesting input. It turns out that, according to [0] you must compile shared objects with -fPIC, so I keep getting this error when trying to build the plugin in amd64: ====================================================================== ERROR: test_module_with_type (__main__.SimpleTest) ---------------------------------------------------------------------- Traceback (most recent call last): File "testcpybuilder.py", line 188, in test_module_with_type bm.build(MODNAME) File "testcpybuilder.py", line 102, in build self.compile_src(extra_cflags) File "testcpybuilder.py", line 95, in compile_src raise CompilationError(self) CompilationError: returncode: 1 compiling: gcc -o /tmp/tmpzNKYHi/module_with_type.so -I/usr/include/python2.7 -I/usr/include/python2.7 -fno-strict-aliasing -march=athlon64 -O2 -pipe -fwrapv -DNDEBUG -Wall -Werror -shared /tmp/tmpzNKYHi/module_with_type.c Stdout: Stderr: /usr/lib/gcc/x86_64-pc-linux-gnu/4.6.2/../../../../x86_64-pc-linux-gnu/bin/ld: /tmp/cco3TFC3.o: relocation R_X86_64_32 against `.rodata.str1.1' can not be used when making a shared object; recompile with -fPIC /tmp/cco3TFC3.o: could not read symbols: Bad value collect2: ld returned 1 exit status Can anybody give any input on this? Would it hurt to add the -fPIC flag to the compilation? Thanks! David E. Narváez [0] http://www.gentoo.org/proj/en/base/amd64/howtos/index.xml?part=1&chap=3

2 1

Additions for C++
by Stephan Bergmann 24 Jan '12

24 Jan '12

Hi Dave, all, Attached is a cppadditions.patch (against recent git head of gcc-python-plugin) that adds a number of attributes to various gcc.Tree classes, mainly relevant for C++. It is surely far from polished and there's probably some issues with it. Anyway, let me know what you think about it. * I added c_string_quote because of problems with quotes (") in docu strings (where I shamelessly reused the documentation present in GCC's tree.h and cp-tree.h, and that already contained those quotes). The implementation of that function is surely evidence that I am no native Python programmer... ;) * I needed to add cu.add_include("cp/cp-tree.h") to generate-tree-c.py -- not sure if that is acceptable (it would fail for GCC installations that do not include C++ support). I made those additions to be able to write the attached unusedparameters.py, which I used to find unused function parameters in the LibreOffice code base: When we made that code base warning-clean a number of years ago, many warnings about unused parameters were silenced by removing the parameter name, instead of actually fixing the code by dropping the unused parameter. Of course, dropping an unused parameter is not always the right fix, e.g., in virtual functions (where some overrides require the parameter and others don't, so it consistently needs to be present in all overrides). The script looks for unused, unnamed parameters (so that they can be revisited now, deciding on a proper fix), but takes into account patterns where the parameter is likely legitimately unused (like in the case of virtual functions). However, there are still a number of legitimately unused function parameters that the script does not catch (think about functions that need to adhere to a certain signature, so their addresses can be assigned to function pointers of given type). So I started to annotate those cases with GCC's __attribute__ ((unused)) in the LibreOffice source code (and let unusedparameters.py ignore those). One problem I found with that is that for constructors (and only for constructors), the annotation needs to go into the constructor's declaration instead of the definition, for unusedparameters.py to find it within arg.attributes. That is, class C { C(int); }; C::C(__attribute__ ((unused)) int) {} causes unusedparameters.py to erroneously warn about the int parameter, while class C { C(__attribute__ ((unused)) int); }; C::C(int) {} has the desired effect. Does anybody happen to know whether that is a problem of GCC itself (I observed it with Fedora 16's gcc-c++-4.6.2-1.fc16.x86_64) or of gcc-python-plugin? Stephan

2 2

patch to add ArrayType.range
by Tom Tromey 23 Jan '12

23 Jan '12

I needed to be able to access the range of an array's type for a project I'm working on. This patch adds ArrayType.range, plus documentation and a test case. Tom >From 9c6e8dc36597f830331e073b86186ddda2fb9432 Mon Sep 17 00:00:00 2001 From: Tom Tromey <tromey(a)redhat.com> Date: Mon, 23 Jan 2012 07:49:59 -0700 Subject: [PATCH] Add ArrayType.range attribute --- docs/tree.rst | 18 +++++++++++++++++ generate-tree-c.py | 5 ++++ tests/plugin/array-type/input.c | 37 ++++++++++++++++++++++++++++++++++++ tests/plugin/array-type/script.py | 36 +++++++++++++++++++++++++++++++++++ tests/plugin/array-type/stdout.txt | 3 ++ 5 files changed, 99 insertions(+), 0 deletions(-) create mode 100644 tests/plugin/array-type/input.c create mode 100644 tests/plugin/array-type/script.py create mode 100644 tests/plugin/array-type/stdout.txt diff --git a/docs/tree.rst b/docs/tree.rst index 316d8c4..cd3090f 100644 --- a/docs/tree.rst +++ b/docs/tree.rst @@ -459,6 +459,24 @@ Types The :py:class:`gcc.Type` that this type points to. In the above example, this would be the `char` type. + .. py:attribute:: range + + The :py:class:`gcc.Type` that represents the range of the + array's indices. If the array has a known range, then this will + ordinarily be an :py:class:`gcc.IntegerType` whose `min_value` + and `max_value` are the (inclusive) bounds of the array. If the + array does not have a known range, then this attribute will be + `None`. + + That is, in the example above, `range.min_val` is `0`, and + `range.max_val` is `15`. + + But, for a C declaration like:: + + extern char array[]; + + the type's `range` would be `None`. + .. py:class:: gcc.VectorType .. py:attribute:: dereference diff --git a/generate-tree-c.py b/generate-tree-c.py index 9e32924..9cf8f82 100644 --- a/generate-tree-c.py +++ b/generate-tree-c.py @@ -399,6 +399,11 @@ def generate_tree_code_classes(): 'gcc_python_make_wrapper_tree(TREE_TYPE(self->t))', "The gcc.Type that this type points to'") + if tree_type.SYM == 'ARRAY_TYPE': + add_simple_getter('range', + 'gcc_python_make_wrapper_tree(TYPE_DOMAIN(self->t))', + "The gcc.Type that is the range of this array type") + if tree_type.SYM == 'ARRAY_REF': add_simple_getter('array', 'gcc_python_make_wrapper_tree(TREE_OPERAND(self->t, 0))', diff --git a/tests/plugin/array-type/input.c b/tests/plugin/array-type/input.c new file mode 100644 index 0000000..992d06d --- /dev/null +++ b/tests/plugin/array-type/input.c @@ -0,0 +1,37 @@ +/* + Copyright 2012 Tom Tromey <tromey(a)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/>. +*/ + +/* Test some array attributes. */ + +int arr[37]; + +extern int arr2[]; + +int function(void) +{ + return 23; +} + +/* + PEP-7 +Local variables: +c-basic-offset: 4 +indent-tabs-mode: nil +End: +*/ diff --git a/tests/plugin/array-type/script.py b/tests/plugin/array-type/script.py new file mode 100644 index 0000000..5736323 --- /dev/null +++ b/tests/plugin/array-type/script.py @@ -0,0 +1,36 @@ +# -*- coding: utf-8 -*- +# Copyright 2012 Tom Tromey <tromey(a)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/>. + +import gcc +from gccutils import pprint + +def on_pass_execution(p, fn): + if p.name == '*warn_function_return': + assert isinstance(fn, gcc.Function) + + for u in gcc.get_translation_units(): + for v in u.block.vars: + if v.name == 'arr': + print('arr-range-min:%s' % v.type.range.min_value) + print('arr-range-max:%s' % v.type.range.max_value) + if v.name == 'arr2': + print('arr2-range:%s' % v.type.range) + +gcc.register_callback(gcc.PLUGIN_PASS_EXECUTION, + on_pass_execution) + diff --git a/tests/plugin/array-type/stdout.txt b/tests/plugin/array-type/stdout.txt new file mode 100644 index 0000000..9dc5628 --- /dev/null +++ b/tests/plugin/array-type/stdout.txt @@ -0,0 +1,3 @@ +arr-range-min:0 +arr-range-max:36 +arr2-range:None -- 1.7.6.5

2 1

GCC GC causes SEGV in my_walker
by Stephan Bergmann 19 Jan '12

19 Jan '12

With current head of gcc-pyhton-plugin (6b633d4d5159ddd1024ab5b66ff1feeb133184ed, plus slight modification > diff --git a/gcc-python-wrapper.c b/gcc-python-wrapper.c > index 93234b0..5f3ba56 100644 > --- a/gcc-python-wrapper.c > +++ b/gcc-python-wrapper.c > @@ -28,7 +28,7 @@ > #include "gcc-python-compat.h" > > /* Debugging, for use by selftest routine */ > -static int debug_gcc_python_wrapper = 0; > +static int debug_gcc_python_wrapper = 1; > > /* Maintain a circular linked list of PyGccWrapper instances: */ > static struct PyGccWrapper sentinel = { > @@ -142,6 +142,9 @@ my_walker(void *arg ATTRIBUTE_UNUSED) > printf("\n"); > } > wrtp_mark = ((PyGccWrapperTypeObject*)Py_TYPE(iter))->wrtp_mark; > + if (debug_gcc_python_wrapper) { > + printf(" marking inner object; wrtp_mark = %p\n", wrtp_mark); > + } > assert(wrtp_mark); > wrtp_mark(iter); > } to see what's going on; btw, assert seems to not work for me there, even with no NDEBUG in sight) and a trivial plugin script > import gcc > > class UnusedArg(gcc.GimplePass): > def execute(self, fun): > pass > > ps = UnusedArg(name='UnusedArg') > ps.register_after('lower') at least one scenario of calling g++ (with large input, and -g; looks like this is related to GCC having to trigger its GC) keeps crashing for me with > [...] > gcc_python_wrapper_track: gcc.Function > gcc_python_wrapper_dealloc: gcc.Function > gcc_python_wrapper_untrack: gcc.Function > walking the live PyGccWrapper objects > marking inner object for: UnusedArg(name='UnusedArg') > marking inner object; wrtp_mark = (nil) > *** WARNING *** there are active plugins, do not report this as a bug unless you can reproduce it without enabling any plugins. > Event | Plugins > PLUGIN_FINISH | python > [...]: internal compiler error: Segmentation fault > g++: internal compiler error: Aborted (program cc1plus) at > #7 <signal handler called> > #8 0x0000000000000000 in ?? () > #9 0x00007fc4aed5fc20 in my_walker (arg=<optimized out>) at gcc-python-wrapper.c:149 > #10 0x00000000006b59b1 in ggc_mark_root_tab (rt=0x7fc4aef74fe0) at ../../gcc/ggc-common.c:142 > #11 ggc_mark_roots () at ../../gcc/ggc-common.c:164 > #12 0x00000000005beed6 in ggc_collect () at ../../gcc/ggc-page.c:1934 > #13 0x000000000072d0c5 in execute_todo (flags=3) at ../../gcc/passes.c:1293 > #14 0x000000000072f28f in execute_one_pass (pass=0x10f8a80) at ../../gcc/passes.c:1579 > #15 0x000000000072f5e5 in execute_pass_list (pass=0x10f8a80) at ../../gcc/passes.c:1611 > #16 0x00000000007f1251 in tree_rest_of_compilation (fndecl=0x7fc4a356e400) at ../../gcc/tree-optimize.c:422 > #17 0x0000000000916262 in cgraph_expand_function (node=0x7fc4a2cd9580) at ../../gcc/cgraphunit.c:1576 > #18 0x00000000009182e4 in cgraph_output_in_order () at ../../gcc/cgraphunit.c:1733 > #19 cgraph_optimize () at ../../gcc/cgraphunit.c:1894 > #20 0x00000000009183f5 in cgraph_finalize_compilation_unit () at ../../gcc/cgraphunit.c:1096 > #21 0x00000000005181c4 in cp_write_global_declarations () at ../../gcc/cp/decl2.c:4000 > #22 0x00000000007bc1f2 in compile_file () at ../../gcc/toplev.c:591 > #23 do_compile () at ../../gcc/toplev.c:1900 > #24 toplev_main (argc=20, argv=0x7fff93e6ac18) at ../../gcc/toplev.c:1963 > #25 0x00000037e682169d in __libc_start_main (main=0x4b0d00 <main>, argc=20, ubp_av=0x7fff93e6ac18, init=<optimized out>, fini=<optimized out>, rtld_fini=<optimized out>, stack_end=0x7fff93e6ac08) at libc-start.c:226 > #26 0x00000000004bfad9 in _start () Stephan

2 4

Build problem
by Seo Sanghyeon 18 Jan '12

18 Jan '12

I have a problem building gcc-python-plugin. (commit 50214ad8) cc -I/usr/lib/gcc/i486-linux-gnu/4.6/plugin/include -fPIC -O2 -Wall -Werror -g -I/usr/include/python2.7 -I/usr/include/python2.7 -L/usr/lib/python2.7/config -lpthread -ldl -lutil -lm -lpython2.7 -Xlinker -export-dynamic -Wl,-O1 -Wl,-Bsymbolic-functions -c -o autogenerated-callgraph.o autogenerated-callgraph.c autogenerated-callgraph.c: In function 'autogenerated_callgraph_add_types': autogenerated-callgraph.c:211:5: error: dereferencing type-punned pointer will break strict-aliasing rules [-Werror=strict-aliasing] autogenerated-callgraph.c:214:5: error: dereferencing type-punned pointer will break strict-aliasing rules [-Werror=strict-aliasing] cc1: all warnings being treated as errors -- Seo Sanghyeon

2 3

Integration with GCC's garbage collector now in git
by David Malcolm 14 Jan '12

14 Jan '12

As of the 58d65a1b353220efbcf8d908b0946ef5d1c4fafd [1], the Python plugin is now integrated with GCC's garbage collector. The Python wrapper objects now collaborate in the marking phase of GCC's mark and sweep, so that the wrapped GCC objects get marked [2], and (I hope) not get swept and deleted from under us. Hopefully you'll see absolutely no behavior changes with this (I never ran into issues with this before), but this is a fairly deep and complex change, so I thought it was worth a "heads up" on this mailing list. Dave [1] http://git.fedorahosted.org/git/?p=gcc-python-plugin.git;a=commitdiff;h=58d… [2] (and the unmarked things they reference, recursively)

1 0

ANN: gcc-python-plugin 0.8
by David Malcolm 11 Jan '12

11 Jan '12

gcc-python-plugin is a plugin for GCC 4.6 onwards which embeds the CPython interpreter within GCC, allowing you to write new compiler warnings in Python, generate code visualizations, etc. It ships with "gcc-with-cpychecker", which implements static analysis passes for GCC aimed at finding bugs in CPython extensions. In particular, it can automatically detect reference-counting errors: http://gcc-python-plugin.readthedocs.org/en/latest/cpychecker.html Detailed release notes can be seen at: http://gcc-python-plugin.readthedocs.org/en/latest/0.8.html Some highlights of the 0.8 release: * it's much easier than before to emit compilation warnings * initial support for analyzing C++ code from a Python script * gcc-with-cpychecker has gained additional tests. It now has knowledge of which CPython API calls will crash when passed NULL, and will warn you (with details) about code paths that can trigger such a call. It can also now detect certain subtle errors in PyMethodDef tables. * numerous bug fixes and other improvements Tarball releases are available at: https://fedorahosted.org/releases/g/c/gcc-python-plugin/ Prebuilt-documentation can be seen at: http://gcc-python-plugin.readthedocs.org/en/latest/index.html The project's homepage is: https://fedorahosted.org/gcc-python-plugin/ The plugin and checker are Free Software, licensed under the GPLv3 or later. Thanks to Red Hat for funding their development, and to David Narvaez and Tom Tromey for their contributions to this release. Enjoy! Dave Malcolm

1 0

a few problems building gdb
by Tom Tromey 05 Jan '12

05 Jan '12

I pulled and rebuilt the plugin today on F15 x86-64. Then I used it to build the gdb 7.4 branch with CC=gcc-with-cpychecker. I didn't modify the plugin at all. I can file bugs for these if you'd prefer, just let me know. I got the appended Python exception trace. For this: ../../src/gdb/arm-tdep.c:6798:22: error: Unhandled Python exception raised calling 'execute' method The line in question is: regmask &= ~(1 << regno); Also: ../../src/gdb/arm-tdep.c:6464:6: error: comparison against uninitialized data: gcc.VarDecl(32844) at ../../src/gdb/arm-tdep.c:6464 The VarDecl bit seems like a formatting bug. I wouldn't mind a mode where cpychecker doesn't emit any diagnostics for functions unrelated to the use of Python. E.g., arm-tdep.c does not call into Python at all, analyzing most of it seems like a waste of time. Finally, while compiling arm-tdep.c, cc1 started using lots and lots of memory, enough that my machine noticeably slowed down. I C-c'd the build, and this killed make and gcc -- but not cc1. In the end I had to resort to kill. So, I surmise that there is some issue with C-c handling in the plugin. Tom /home/tromey/Space/Trunk/gcc-python-plugin/gcc-with-cpychecker -g3 -gdwarf-4 -I. -I../../src/gdb -I../../src/gdb/common -I../../src/gdb/config -DLOCALEDIR="\"/home/tromey/Space/gdb/7.4/install/share/locale\"" -DHAVE_CONFIG_H -I../../src/gdb/../include/opcode -I../../src/gdb/../opcodes/.. -I../../src/gdb/../readline/.. -I../bfd -I../../src/gdb/../bfd -I../../src/gdb/../include -I../libdecnumber -I../../src/gdb/../libdecnumber -I../../src/gdb/gnulib -Ignulib -DTUI=1 -g3 -gdwarf-4 -I/usr/include/python2.7 -I/usr/include/python2.7 -Wall -Wdeclaration-after-statement -Wpointer-arith -Wformat-nonliteral -Wno-pointer-sign -Wno-unused -Wunused-value -Wunused-function -Wno-switch -Wno-char-subscripts -c -o arm-tdep.o -MT arm-tdep.o -MMD -MP -MF .deps/arm-tdep.Tpo ../../src/gdb/arm-tdep.c ../../src/gdb/arm-tdep.c: In function ‘arm_gdbarch_init’: ../../src/gdb/arm-tdep.c:9672:1: note: this function is too complicated for the reference-count checker to analyze ../../src/gdb/arm-tdep.c: In function ‘arm_record_special_symbol’: ../../src/gdb/arm-tdep.c:9408:1: note: this function is too complicated for the reference-count checker to analyze ../../src/gdb/arm-tdep.c: In function ‘arm_decode_svc_copro’: ../../src/gdb/arm-tdep.c:7694:1: note: this function is too complicated for the reference-count checker to analyze ../../src/gdb/arm-tdep.c: In function ‘arm_decode_ld_st_word_ubyte’: ../../src/gdb/arm-tdep.c:7500:1: note: this function is too complicated for the reference-count checker to analyze ../../src/gdb/arm-tdep.c: In function ‘arm_decode_dp_misc’: ../../src/gdb/arm-tdep.c:7454:1: note: this function is too complicated for the reference-count checker to analyze ../../src/gdb/arm-tdep.c: In function ‘cleanup_block_load_all’: ../../src/gdb/arm-tdep.c:6798:22: error: Unhandled Python exception raised calling 'execute' method Traceback (most recent call last): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/__init__.py", line 52, in execute self.show_possible_null_derefs) File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/refcounts.py", line 2706, in check_refcounts limits=limits) File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2633, in iter_traces for trace in iter_traces(fun, facets, newprefix, limits): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2601, in iter_traces transitions = curstate.get_transitions() File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 1766, in get_transitions return self._get_transitions_for_stmt(stmt) File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 1793, in _get_transitions_for_stmt return self._get_transitions_for_GimpleAssign(stmt) File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2243, in _get_transitions_for_GimpleAssign value = self.eval_rhs(stmt) File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 2186, in eval_rhs c = a.eval_binop(stmt.exprcode, b, stmt.lhs.type, stmt.loc) File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 402, in eval_binop newvalue = eval_binop(exprcode, self.value, rhs.value) File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 314, in eval_binop result = inner() File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/absinterp.py", line 303, in inner return a << b ValueError: negative shift count ../../src/gdb/arm-tdep.c: In function ‘arm_copy_ldr_str_ldrb_strb’: ../../src/gdb/arm-tdep.c:6667:1: note: this function is too complicated for the reference-count checker to analyze ../../src/gdb/arm-tdep.c: In function ‘arm_copy_extra_ld_st’: ../../src/gdb/arm-tdep.c:6464:6: error: comparison against uninitialized data: gcc.VarDecl(32844) at ../../src/gdb/arm-tdep.c:6464 ../../src/gdb/arm-tdep.c:6443:6: note: when taking False path at: if (!insn_references_pc (insn, 0x000ff00ful)) ../../src/gdb/arm-tdep.c:6446:7: note: reaching: if (debug_displaced) ../../src/gdb/arm-tdep.c:6446:6: note: when taking True path at: if (debug_displaced) ../../src/gdb/arm-tdep.c:6447:24: note: reaching: fprintf_unfiltered (gdb_stdlog, "displaced: copying %sextra load/store " ../../src/gdb/arm-tdep.c:6447:24: note: when taking True path at: fprintf_unfiltered (gdb_stdlog, "displaced: copying %sextra load/store " ../../src/gdb/arm-tdep.c:6447:24: note: reaching: fprintf_unfiltered (gdb_stdlog, "displaced: copying %sextra load/store " ../../src/gdb/arm-tdep.c:6453:6: note: taking False path at: if (opcode < 0) ../../src/gdb/arm-tdep.c:6457:36: note: reaching: dsc->tmp[0] = displaced_read_reg (regs, dsc, 0); ../../src/gdb/arm-tdep.c:6457:15: note: when treating unknown struct displaced_step_closure * from ../../src/gdb/arm-tdep.c:6430 as non-NULL at: dsc->tmp[0] = displaced_read_reg (regs, dsc, 0); ../../src/gdb/arm-tdep.c:6460:6: note: taking False path at: if (!immed) ../../src/gdb/arm-tdep.c:6463:31: note: reaching: rt_val = displaced_read_reg (regs, dsc, rt); ../../src/gdb/arm-tdep.c:6464:6: note: found 2 similar trace(s) to this ../../src/gdb/arm-tdep.c:6431:1: note: graphical error report for function 'arm_copy_extra_ld_st' written out to 'arm-tdep.c.arm_copy_extra_ld_st-refcount-errors.html'

2 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

gcc-python-plugin January 2012