riscv
/
alliance
mirror of https://gitlab.lip6.fr/vlsi-eda/alliance.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Cast foireux.

This commit is contained in:
Ludovic Jacomme 2002-04-25 14:16:02 +00:00
parent 1a14464d62
commit 4543e02e6d
3 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
alliance/src/log/src/log.h
View File

@ -30,7 +30,7 @@
/* $Id: log.h,v 1.2 2002/04/03 14:55:08 ludo Exp $ */ /* $Id: log.h,v 1.3 2002/04/25 14:16:02 ludo Exp $ */
#ifndef LUC_LOG_H #ifndef LUC_LOG_H
#define LUC_LOG_H #define LUC_LOG_H
@ -370,7 +370,7 @@ pNode one, zero;
extern ptype_list * supportPtype_listExpr __P((chain_list *expr)); extern ptype_list * supportPtype_listExpr __P((chain_list *expr));
extern chain_list * maxExpr __P((chain_list *expr, int (*func)())); extern chain_list * maxExpr __P((chain_list *expr, int (*func)()));
extern chain_list * minExpr __P((chain_list *expr, int (*func)())); extern chain_list * minExpr __P((chain_list *expr, int (*func)()));
extern void sortExpr __P((chain_list *expr, long (*func)(), int direction)); extern void sortExpr __P((chain_list *expr, int (*func)(), int direction));
extern int funcNormExpr __P((chain_list *expr)); extern int funcNormExpr __P((chain_list *expr));
extern void normExpr __P((chain_list *expr)); extern void normExpr __P((chain_list *expr));
extern void deleteNumExpr __P((chain_list *expr, int i)); extern void deleteNumExpr __P((chain_list *expr, int i));

6
alliance/src/log/src/log_bdd0.c
View File

@ -30,7 +30,7 @@
#ident "$Id: log_bdd0.c,v 1.1 2002/04/03 13:13:25 ludo Exp $" #ident "$Id: log_bdd0.c,v 1.2 2002/04/25 14:16:02 ludo Exp $"
/****************************************************************************/ /****************************************************************************/
/* Produit : librairie BDD - Gestion de BDD */ /* Produit : librairie BDD - Gestion de BDD */
@ -1899,13 +1899,13 @@ supportIndexBdd (pt, sens)
{ {
for (i = 0; i <= pt->index - 2; i++) for (i = 0; i <= pt->index - 2; i++)
if (tabIndex[i] == 'O') if (tabIndex[i] == 'O')
ret = addchain (ret, i + 2); ret = addchain (ret, (void *)(i + 2));
} }
else else
{ {
for (i = pt->index - 2; i >= 0; i--) for (i = pt->index - 2; i >= 0; i--)
if (tabIndex[i] == 'O') if (tabIndex[i] == 'O')
ret = addchain (ret, i + 2); ret = addchain (ret, (void *)(i + 2));
} }
mbkfree (tabIndex); mbkfree (tabIndex);
return ret; return ret;

12
alliance/src/log/src/log_prefbib.c
View File

@ -31,7 +31,7 @@
#ident "$Id: log_prefbib.c,v 1.1 2002/04/03 13:13:25 ludo Exp $" #ident "$Id: log_prefbib.c,v 1.2 2002/04/25 14:16:02 ludo Exp $"
/****************************************************************************/ /****************************************************************************/
/* Produit : librairie ABL - Gestion de representations prefixees */ /* Produit : librairie ABL - Gestion de representations prefixees */
@ -122,7 +122,7 @@ createExpr (oper)
{ {
/* POUR GNU : le cast (void *)oper a ete enleve' */ /* POUR GNU : le cast (void *)oper a ete enleve' */
if (oper >= MIN_OPER && oper <= MAX_OPER) if (oper >= MIN_OPER && oper <= MAX_OPER)
return addchain (NULL, (void *) addchain (NULL, oper)); return addchain (NULL, (void *) addchain (NULL, (void *)((long)oper)));
else else
{ {
printf ("\ncreateExpr: error - unknown operator %d\n", oper); printf ("\ncreateExpr: error - unknown operator %d\n", oper);
@ -1456,7 +1456,7 @@ minExpr (expr, func)
void void
sortExpr (expr, func, direction) sortExpr (expr, func, direction)
chain_list *expr; chain_list *expr;
long (*func) (); int (*func) ();
int direction; int direction;
{ {
chain_list *expr1; chain_list *expr1;
@ -1841,7 +1841,7 @@ simplif10Expr (expr)
} }
} }
printf ("## ERROR in simplif10Expr, %s.%d\n", __FILE__, __LINE__); printf ("## ERROR in simplif10Expr, %s.%d\n", basename(__FILE__), __LINE__);
exit (-1); exit (-1);
} }
@ -2077,7 +2077,7 @@ PMExprInt (expr, pattern, bind)
{ {
if (ATOM (pattern)) if (ATOM (pattern))
{ {
ptype_list *find = getptype (*bind, VALUE_ATOM (pattern)); ptype_list *find = getptype (*bind, (long)VALUE_ATOM (pattern));
/* le couple existe deja */ /* le couple existe deja */
@ -2087,7 +2087,7 @@ PMExprInt (expr, pattern, bind)
return (0); return (0);
} }
else else
*bind = addptype (*bind, VALUE_ATOM (pattern), expr); *bind = addptype (*bind, (long)VALUE_ATOM (pattern), (void *)expr);
return (1); return (1);
} }