[prev in list] [next in list] [prev in thread] [next in thread] 

List:       kdevelop-bugs
Subject:    [Bug 172618] New: Support for debugging template instantiations
From:       Pantelis <pktoss () gmail ! com>
Date:       2008-10-11 17:51:09
Message-ID: bug-172618-40295 () http ! bugs ! kde ! org/
[Download RAW message or body]

http://bugs.kde.org/show_bug.cgi?id=172618

           Summary: Support for debugging template instantiations
           Product: kdevelop
           Version: unspecified
          Platform: Compiled Sources
        OS/Version: unspecified
            Status: UNCONFIRMED
          Severity: wishlist
          Priority: NOR
         Component: general
        AssignedTo: kdevelop-bugs@kdevelop.org
        ReportedBy: pktoss@gmail.com


Version:            (using Devel)
Installed from:    Compiled sources

Another cool final study project, but this is *really* hard imho and might only
be reallistically solvable through gcc or elsa or serious parser hacking.

The idea is to help with one of the hardest tasks in C++: template
metaprogramming. It is bad enough when you write this yourself, it is even
worse if someone else wrote the code and you have to debug it ;-)

The Templight system paper describes how to add instrumentation to allow
debugging of instantiations and gcc seems to have at least some support for
this (otherwise we wouldn't get these nice instantiation errors/warnings)

What is missing is at least UI for this and even better interactivity.
Something that looks like a 'proof tree' with unifications would probably be
suitable but there
might be better/easier ways to help with this debugging.


-- 
Configure bugmail: http://bugs.kde.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.

_______________________________________________
KDevelop-bugs mailing list
KDevelop-bugs@kdevelop.org
https://barney.cs.uni-potsdam.de/mailman/listinfo/kdevelop-bugs
[prev in list] [next in list] [prev in thread] [next in thread]