[pkgsrc/trunk]: pkgsrc/devel/cqual Imported cqual.

[rillig <rillig%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/a7e6380e73f8
branches:  trunk
changeset: 506042:a7e6380e73f8
user:      rillig <rillig%pkgsrc.org@localhost>
date:      Wed Jan 11 03:12:38 2006 +0000

description:
Imported cqual.

cqual is a type-based analysis tool for finding bugs in C programs. It
extends the type system of C with extra user-defined type qualifiers.
The programmer annotates their program in a few places, and cqual
performs qualifier inference to check whether the annotations are
correct.

diffstat:

 devel/cqual/DESCR            |   5 +++++
 devel/cqual/Makefile         |  16 ++++++++++++++++
 devel/cqual/PLIST            |  33 +++++++++++++++++++++++++++++++++
 devel/cqual/distinfo         |   6 ++++++
 devel/cqual/patches/patch-aa |  24 ++++++++++++++++++++++++
 5 files changed, 84 insertions(+), 0 deletions(-)

diffs (104 lines):

diff -r e123aada8e87 -r a7e6380e73f8 devel/cqual/DESCR
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/cqual/DESCR Wed Jan 11 03:12:38 2006 +0000
@@ -0,0 +1,5 @@
+cqual is a type-based analysis tool for finding bugs in C programs. It
+extends the type system of C with extra user-defined type qualifiers.
+The programmer annotates their program in a few places, and cqual
+performs qualifier inference to check whether the annotations are
+correct.
diff -r e123aada8e87 -r a7e6380e73f8 devel/cqual/Makefile
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/cqual/Makefile      Wed Jan 11 03:12:38 2006 +0000
@@ -0,0 +1,16 @@
+# $NetBSD: Makefile,v 1.1.1.1 2006/01/11 03:12:38 rillig Exp $
+#
+
+DISTNAME=              cqual-0.991
+CATEGORIES=            devel
+MASTER_SITES=          ${MASTER_SITE_SOURCEFORGE:=cqual/}
+
+MAINTAINER=            tech-pkg%NetBSD.org@localhost
+HOMEPAGE=              http://cqual.sourceforge.net/
+COMMENT=               Tool for adding type qualifiers to C
+
+USE_PKGLOCALEDIR=      yes
+GNU_CONFIGURE=         yes
+USE_TOOLS+=            gmake perl
+
+.include "../../mk/bsd.pkg.mk"
diff -r e123aada8e87 -r a7e6380e73f8 devel/cqual/PLIST
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/cqual/PLIST Wed Jan 11 03:12:38 2006 +0000
@@ -0,0 +1,33 @@
+@comment $NetBSD: PLIST,v 1.1.1.1 2006/01/11 03:12:38 rillig Exp $
+bin/cqual
+bin/gcqual
+bin/iquals
+bin/kqual
+bin/oldcqual
+bin/oldiquals
+bin/parser
+bin/remblanks
+bin/remquals
+bin/rinf
+info/pam-mode.info
+share/cqual/lattice
+share/cqual/linux-syscalls.cq
+share/cqual/prelude.cq
+share/cqual/proto-noderef.cq
+share/emacs/site-lisp/cqual/avltree.el
+share/emacs/site-lisp/cqual/cqual-pam.el
+share/emacs/site-lisp/cqual/elib-node.el
+share/emacs/site-lisp/cqual/pam-3.el
+share/emacs/site-lisp/cqual/pam-blob.el
+share/emacs/site-lisp/cqual/pam-copyright.el
+share/emacs/site-lisp/cqual/pam-executions.el
+share/emacs/site-lisp/cqual/pam-faces.el
+share/emacs/site-lisp/cqual/pam-hyper.el
+share/emacs/site-lisp/cqual/pam-overlays.el
+share/emacs/site-lisp/cqual/pam-util.el
+share/emacs/site-lisp/cqual/pam-vars.el
+share/emacs/site-lisp/cqual/pam-window.el
+share/emacs/site-lisp/cqual/stack-m.el
+@dirrm share/emacs/site-lisp/cqual
+@dirrm share/emacs/site-lisp
+@dirrm share/cqual
diff -r e123aada8e87 -r a7e6380e73f8 devel/cqual/distinfo
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/cqual/distinfo      Wed Jan 11 03:12:38 2006 +0000
@@ -0,0 +1,6 @@
+$NetBSD: distinfo,v 1.1.1.1 2006/01/11 03:12:38 rillig Exp $
+
+SHA1 (cqual-0.991.tar.gz) = f559af6947465ca242f19c1f499c7cb004e713e4
+RMD160 (cqual-0.991.tar.gz) = e3837a11c75f750196ec4be7f991ec519c1260f6
+Size (cqual-0.991.tar.gz) = 1197696 bytes
+SHA1 (patch-aa) = bf21f9d9213beb54847a79fdf1213c7378ac062d
diff -r e123aada8e87 -r a7e6380e73f8 devel/cqual/patches/patch-aa
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/cqual/patches/patch-aa      Wed Jan 11 03:12:38 2006 +0000
@@ -0,0 +1,24 @@
+$NetBSD: patch-aa,v 1.1.1.1 2006/01/11 03:12:38 rillig Exp $
+
+Removed C++-style comments.
+
+--- src/qtype.c.orig   2003-10-06 23:28:57.000000000 +0200
++++ src/qtype.c        2006-01-11 03:26:12.000000000 +0100
+@@ -1156,7 +1156,7 @@ qtype get_fdecl_qtype(const char *tag_na
+   type lifted_t;
+   struct ctq_info ctqi;
+   const char *fname;
+-  char *name = NULL;// = field_decl_name(fdecl);
++  char *name = NULL;
+   qtype result;
+ 
+   fname = field_decl_name(fdecl) ? field_decl_name(fdecl) : "(anonymous)";
+@@ -3352,8 +3352,6 @@ static bool mkXeq_qtype(location loc, qu
+             new_link = t1;
+           }
+             
+-        //new_ecr->u.tag.defined |= new_link->u.tag.defined;
+-        //new_ecr->u.tag.transparent_union |= new_link->u.tag.transparent_union;
+         ecr_fields = new_ecr->u.tag.fields;
+         ecr_name = new_ecr->u.tag.name;
+         kind = (t1->kind == tk_struct) ? "struct" : "union";