search

friguzzi / cplint

cplint is a suite of programs for reasoning with probabilistic logic programs
Other
67 stars 14 forks source link

Building warnings #17

Closed XVilka closed 6 years ago

XVilka commented 6 years ago 
Warning: bddem.c:1580:28: warning: '__builtin___sprintf_chk' may write a terminating nul past the end of the destination [-Wformat-overflow=]
Warning:        sprintf(numberVar,"%d",i);
Warning:                             ^
Warning: In file included from /usr/include/stdio.h:862:0,
Warning:                  from bddem.c:13:
Warning: /usr/include/bits/stdio2.h:33:10: note: '__builtin___sprintf_chk' output between 2 and 11 bytes into a destination of size 10
Warning:    return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1,
Warning:           ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Warning:        __bos (__s), __fmt, __va_arg_pack ());
Warning:        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Warning: bddem.c:1583:28: warning: '__builtin___sprintf_chk' may write a terminating nul past the end of the destination [-Wformat-overflow=]
Warning:        sprintf(numberBit,"%d",b);
Warning:                             ^
Warning: In file included from /usr/include/stdio.h:862:0,
Warning:                  from bddem.c:13:
Warning: /usr/include/bits/stdio2.h:33:10: note: '__builtin___sprintf_chk' output between 2 and 11 bytes into a destination of size 10
Warning:    return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1,
Warning:           ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Warning:        __bos (__s), __fmt, __va_arg_pack ());
Warning:        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Warning: In file included from /usr/include/assert.h:35:0,
Warning:                  from util/util.h:70,
Warning:                  from util/cpu_stats.c:66:
Warning: /usr/include/features.h:183:3: warning: #warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" [-Wcpp]
Warning:  # warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE"
Warning:    ^~~~~~~
Warning: cudd/cuddWindow.c: In function 'ddPermuteWindow3':
Warning: cudd/cuddWindow.c:386:18: warning: this statement may fall through [-Wimplicit-fallthrough=]
Warning:      case BCA: if (!cuddSwapInPlace(table,y,z)) return(0);
Warning:                   ^
Warning: cudd/cuddWindow.c:387:5: note: here
Warning:      case CBA: if (!cuddSwapInPlace(table,x,y)) return(0);
Warning:      ^~~~
Warning: cudd/cuddWindow.c:387:18: warning: this statement may fall through [-Wimplicit-fallthrough=]
Warning:      case CBA: if (!cuddSwapInPlace(table,x,y)) return(0);
Warning:                   ^
Warning: cudd/cuddWindow.c:388:5: note: here
Warning:      case ABC: if (!cuddSwapInPlace(table,y,z)) return(0);
Warning:      ^~~~
Warning: cudd/cuddWindow.c:390:18: warning: this statement may fall through [-Wimplicit-fallthrough=]
Warning:      case BAC: if (!cuddSwapInPlace(table,y,z)) return(0);
Warning:                   ^
Warning: cudd/cuddWindow.c:391:5: note: here
Warning:      case CAB: if (!cuddSwapInPlace(table,x,y)) return(0);
Warning:      ^~~~
Warning: cudd/cuddWindow.c: In function 'ddPermuteWindow4':
Warning: cudd/cuddWindow.c:759:19: warning: this statement may fall through [-Wimplicit-fallthrough=]
Warning:      case DBCA: if (!cuddSwapInPlace(table,y,z)) return(0);
Warning:                    ^
Warning: cudd/cuddWindow.c:760:5: note: here
Warning:      case BDCA: if (!cuddSwapInPlace(table,x,y)) return(0);
Warning:      ^~~~
Warning: cudd/cuddWindow.c:760:19: warning: this statement may fall through [-Wimplicit-fallthrough=]
Warning:      case BDCA: if (!cuddSwapInPlace(table,x,y)) return(0);
Warning:                    ^
Warning: cudd/cuddWindow.c:761:5: note: here
Warning:      case CDBA: if (!cuddSwapInPlace(table,w,x)) return(0);
Warning:      ^~~~
Warning: cudd/cuddWindow.c:761:19: warning: this statement may fall through [-Wimplicit-fallthrough=]
Warning:      case CDBA: if (!cuddSwapInPlace(table,w,x)) return(0);
Warning:                    ^
Warning: cudd/cuddWindow.c:762:5: note: here
Warning:      case ADBC: if (!cuddSwapInPlace(table,y,z)) return(0);
Warning:      ^~~~
Warning: cudd/cuddWindow.c:762:19: warning: this statement may fall through [-Wimplicit-fallthrough=]
Warning:      case ADBC: if (!cuddSwapInPlace(table,y,z)) return(0);
Warning:                    ^
Warning: cudd/cuddWindow.c:763:5: note: here
Warning:      case ABDC: if (!cuddSwapInPlace(table,x,y)) return(0);
Warning:      ^~~~
Warning: cudd/cuddWindow.c:763:19: warning: this statement may fall through [-Wimplicit-fallthrough=]
Warning:      case ABDC: if (!cuddSwapInPlace(table,x,y)) return(0);
Warning:                    ^
Warning: cudd/cuddWindow.c:764:5: note: here
Warning:      case ACDB: if (!cuddSwapInPlace(table,y,z)) return(0);
Warning:      ^~~~
Warning: cudd/cuddWindow.c:766:19: warning: this statement may fall through [-Wimplicit-fallthrough=]
Warning:      case DCBA: if (!cuddSwapInPlace(table,y,z)) return(0);
Warning:                    ^
Warning: cudd/cuddWindow.c:767:5: note: here
Warning:      case BCDA: if (!cuddSwapInPlace(table,x,y)) return(0);
Warning:      ^~~~
Warning: cudd/cuddWindow.c:767:19: warning: this statement may fall through [-Wimplicit-fallthrough=]
Warning:      case BCDA: if (!cuddSwapInPlace(table,x,y)) return(0);
Warning:                    ^
Warning: cudd/cuddWindow.c:768:5: note: here
Warning:      case CBDA: if (!cuddSwapInPlace(table,w,x)) return(0);
Warning:      ^~~~
Warning: cudd/cuddWindow.c:772:19: warning: this statement may fall through [-Wimplicit-fallthrough=]
Warning:      case DBAC: if (!cuddSwapInPlace(table,x,y)) return(0);
Warning:                    ^
Warning: cudd/cuddWindow.c:773:5: note: here
Warning:      case DCAB: if (!cuddSwapInPlace(table,w,x)) return(0);
Warning:      ^~~~
Warning: cudd/cuddWindow.c:773:19: warning: this statement may fall through [-Wimplicit-fallthrough=]
Warning:      case DCAB: if (!cuddSwapInPlace(table,w,x)) return(0);
Warning:                    ^
Warning: cudd/cuddWindow.c:774:5: note: here
Warning:      case DACB: if (!cuddSwapInPlace(table,y,z)) return(0);
Warning:      ^~~~
Warning: cudd/cuddWindow.c:774:19: warning: this statement may fall through [-Wimplicit-fallthrough=]
Warning:      case DACB: if (!cuddSwapInPlace(table,y,z)) return(0);
Warning:                    ^
Warning: cudd/cuddWindow.c:775:5: note: here
Warning:      case BACD: if (!cuddSwapInPlace(table,x,y)) return(0);
Warning:      ^~~~
Warning: cudd/cuddWindow.c:775:19: warning: this statement may fall through [-Wimplicit-fallthrough=]
Warning:      case BACD: if (!cuddSwapInPlace(table,x,y)) return(0);
Warning:                    ^
Warning: cudd/cuddWindow.c:776:5: note: here
Warning:      case CABD: if (!cuddSwapInPlace(table,w,x)) return(0);
Warning:      ^~~~
Warning: cudd/cuddWindow.c:778:19: warning: this statement may fall through [-Wimplicit-fallthrough=]
Warning:      case DABC: if (!cuddSwapInPlace(table,y,z)) return(0);
Warning:                    ^
Warning: cudd/cuddWindow.c:779:5: note: here
Warning:      case BADC: if (!cuddSwapInPlace(table,x,y)) return(0);
Warning:      ^~~~
Warning: cudd/cuddWindow.c:779:19: warning: this statement may fall through [-Wimplicit-fallthrough=]
Warning:      case BADC: if (!cuddSwapInPlace(table,x,y)) return(0);
Warning:                    ^
Warning: cudd/cuddWindow.c:780:5: note: here
Warning:      case CADB: if (!cuddSwapInPlace(table,w,x)) return(0);
Warning:      ^~~~
Warning: cudd/cuddWindow.c:783:19: warning: this statement may fall through [-Wimplicit-fallthrough=]
Warning:      case BDAC: if (!cuddSwapInPlace(table,x,y)) return(0);
Warning:                    ^
Warning: cudd/cuddWindow.c:784:5: note: here
Warning:      case CDAB: if (!cuddSwapInPlace(table,w,x)) return(0);
Warning:      ^~~~
Warning: cudd/cuddWindow.c:784:19: warning: this statement may fall through [-Wimplicit-fallthrough=]
Warning:      case CDAB: if (!cuddSwapInPlace(table,w,x)) return(0);
Warning:                    ^
Warning: cudd/cuddWindow.c:785:5: note: here
Warning:      case ADCB: if (!cuddSwapInPlace(table,y,z)) return(0);
Warning:      ^~~~
Warning: cudd/cuddWindow.c:785:19: warning: this statement may fall through [-Wimplicit-fallthrough=]
Warning:      case ADCB: if (!cuddSwapInPlace(table,y,z)) return(0);
Warning:                    ^
Warning: cudd/cuddWindow.c:786:5: note: here
Warning:      case ABCD: if (!cuddSwapInPlace(table,x,y)) return(0);
Warning:      ^~~~
Warning: cudd/cuddWindow.c:788:19: warning: this statement may fall through [-Wimplicit-fallthrough=]
Warning:      case BCAD: if (!cuddSwapInPlace(table,x,y)) return(0);
Warning:                    ^
Warning: cudd/cuddWindow.c:789:5: note: here
Warning:      case CBAD: if (!cuddSwapInPlace(table,w,x)) return(0);
Warning:      ^~~~
Warning: dddmp/dddmp.h:238:6: warning: this statement may fall through [-Wimplicit-fallthrough=]
Warning:    if ((expr) == 1) { \
Warning:       ^
Warning: dddmp/dddmpStoreCnf.c:599:7: note: in expansion of macro 'Dddmp_Warning'
Warning:        Dddmp_Warning (1, "Wrong DDDMP Store Mode. Force DDDMP_MODE_BEST.");
Warning:        ^~~~~~~~~~~~~
Warning: dddmp/dddmpStoreCnf.c:600:5: note: here
Warning:      case DDDMP_CNF_MODE_BEST:
Warning:      ^~~~
Warning: In file included from dddmp/dddmpInt.h:39:0,
Warning:                  from dddmp/dddmpStoreCnf.c:29:
Warning: dddmp/dddmp.h:238:6: warning: this statement may fall through [-Wimplicit-fallthrough=]
Warning:    if ((expr) == 1) { \
Warning:       ^
Warning: dddmp/dddmpStoreCnf.c:645:7: note: in expansion of macro 'Dddmp_Warning'
Warning:        Dddmp_Warning (1, "Wrong DDDMP Store Mode. Force DDDMP_MODE_BEST.");
Warning:        ^~~~~~~~~~~~~
Warning: dddmp/dddmpStoreCnf.c:646:5: note: here
Warning:      case DDDMP_CNF_MODE_BEST:
Warning:      ^~~~
friguzzi commented 6 years ago

Thanks. Pushed a fix for bddem.c The others are from cudd, version 3.0.0. I won't touch that code, it is from http://vlsi.colorado.edu/~fabio/ which at the moment is down though so I could not check whether there is a more recent version