sac2c issueshttps://gitlab.sac-home.org/sac-group/sac2c/-/issues2017-11-19T21:58:36Zhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2107Corrupt tree after wrongly striping out variables of type bottom2017-11-19T21:58:36ZDaniel RollsCorrupt tree after wrongly striping out variables of type bottom| | |
| --- | --- |
| Bugzilla Link | [831](http://bugs.sac-home.org/show_bug.cgi?id=831) |
| Created on | Mar 08, 2011 14:14 |
| Resolution | FIXED |
| Resolved on | Oct 11, 2011 09:29 |
| Version | svn |
| OS | All |
| Architecture |...| | |
| --- | --- |
| Bugzilla Link | [831](http://bugs.sac-home.org/show_bug.cgi?id=831) |
| Created on | Mar 08, 2011 14:14 |
| Resolution | FIXED |
| Resolved on | Oct 11, 2011 09:29 |
| Version | svn |
| OS | All |
| Architecture | PC |
| Attachments | [831.sac](/uploads/74897eadcd0903445abe6616b1570807/831.sac) |
## Extended Description
<pre>This failure can be seen in axis_control_rev_cat.sac. See any recent Masterrun.
The following summary is from Stephan and lazily pasted from an email:
I have looked at axis_control_rev_cat.sac. The problem there seems to be
with the type checker. We end up in a situation where after opt:tup2 [type upgrade] return values of main become bottom, however the return type of main does not. Thus, compilation is not aborted. Instead, all bottom variables are stripped out, including the return value. This leads to a corrupted tree.
On the one hand, one should never just strip away a vardec node without
checking its use. On the other hand, if a bottom vardec node would
contribute directly to the result of a function, then that entire function
should have been marked as bottom.</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2106NAS FT with complex numbers fails in type system2021-05-27T14:09:53ZClemens GrelckNAS FT with complex numbers fails in type system| | |
| --- | --- |
| Bugzilla Link | [826](http://bugs.sac-home.org/show_bug.cgi?id=826) |
| Created on | Feb 17, 2011 09:48 |
| Resolution | DUPLICATE |
| Resolved on | Oct 13, 2011 16:14 |
| Version | svn |
| OS | Linux |
| Architec...| | |
| --- | --- |
| Bugzilla Link | [826](http://bugs.sac-home.org/show_bug.cgi?id=826) |
| Created on | Feb 17, 2011 09:48 |
| Resolution | DUPLICATE |
| Resolved on | Oct 13, 2011 16:14 |
| Version | svn |
| OS | Linux |
| Architecture | PC |
| Attachments | [x826.sac](/uploads/d072a2e3d93200a5e37c493cd917a3b8/x826.sac), [826.sac](/uploads/e86730c264500fb1d8566faa6a713fda/826.sac) |
## Extended Description
<pre>sac2c fft_cpx.sac
(in sac/demos/nas_parallel_benchmarks/FT)
fails with
** 10: Creating Wrapper Code and Eliminating User-Defined Types ...
**** Creating Wrapper Bodies ...
**** Eliminating conditionals in wrapper code ...
**** Establishing static single assignment form in wrapper code ...
**** Trying to dispatch functions statically ...
**** Removing all structs ...
**** Eliminating User-Defined Types ...
ASSERTION FAILED: file 'typecheck/elim_alpha_types.c', line 456
new element type of array does not match old type!
EXECUTION TERMINATED
Aborted</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2094Inferred type not within bounds2017-11-19T21:57:15ZFrank PenczekInferred type not within bounds| | |
| --- | --- |
| Bugzilla Link | [556](http://bugs.sac-home.org/show_bug.cgi?id=556) |
| Created on | Aug 20, 2009 16:51 |
| Resolution | FIXED |
| Resolved on | Nov 18, 2009 04:12 |
| Version | 1.00beta |
| OS | All |
| Architect...| | |
| --- | --- |
| Bugzilla Link | [556](http://bugs.sac-home.org/show_bug.cgi?id=556) |
| Created on | Aug 20, 2009 16:51 |
| Resolution | FIXED |
| Resolved on | Nov 18, 2009 04:12 |
| Version | 1.00beta |
| OS | All |
| Architecture | PC |
| Attachments | [tmp.sac](/uploads/d44a8ff069c44b12b52f0bfaab8b04a3/tmp.sac), [bug556_tiny.sac](/uploads/c0623e3c7f1cef0b3690e6d62dae7f4a/bug556_tiny.sac) |
## Extended Description
<pre>Created an attachment (id=561)
Source code to reproduce behaviour
Using rev16340 of sac2c, compilation of the following program aborts reporting an error about inferred types being out of bounds:
---
module badbounds;
use Structures : all;
use Numerical : all;
export {badbounds};
complex[.,.,.,.] badbounds( complex[.,.,.] input)
{
result =
with
{
( [0,0,0,0] <= [i,j,k,l] < [1,1,1,1]) : input[0,0,0];
} : genarray( [1,1,1,1], toc(0,0));
return( result);
}
---
The (clipped) compiler output reads:
---
[...]
**** Optimization cycle pass: 3
****** Optimizing wrapper function:
****** bounds::bounds( double[+]): ...
****** Optimizing wrapper function:
****** bounds:Structures::sel( int[*], double[+]): ...
****** Optimizing regular function:
****** bounds::bounds( double[.,.,.,.]): ...
****** Optimizing regular function:
****** ComplexArrayBasics::sel( int[.], double[+]): ...
****** Optimizing regular function:
****** ComplexArrayBasics::sel( int, double[+]): ...
****** Optimizing regular function:
****** sacprelude::eq( int[*], int[*]): ...
****** Optimizing regular function:
****** sacprelude::eq( float[*], float[*]): ...
****** Optimizing regular function:
****** sacprelude::eq( double[*], double[*]): ...
****** Optimizing regular function:
****** sacprelude::eq( bool[*], bool[*]): ...
****** Optimizing regular function:
****** sacprelude::eq( char[*], char[*]): ...
****** Optimizing regular function:
****** bounds:ComplexArrayBasics::shape( double[.,.,.,.]): ...
****** Optimizing regular function:
****** bounds:Structures::sel( int[3], double[.,.,.,.]): ...
ABORT: line 62 file: ComplexArrayBasics.sac
ABORT: Component #0 of inferred return type (double[.]) is not within
#380:
ABORT: in [ --, double[2]] le <> ge <>
*** Compilation failed ***
*** Exit code 73 (Running SAC optimizations)
*** 1 Error(s), 1 Warning(s)
---</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2093tvd2d.sac dies in type upgrade2017-11-19T21:57:09ZClemens Grelcktvd2d.sac dies in type upgrade| | |
| --- | --- |
| Bugzilla Link | [543](http://bugs.sac-home.org/show_bug.cgi?id=543) |
| Created on | Aug 05, 2009 23:50 |
| Resolution | FIXED |
| Resolved on | Oct 13, 2011 16:09 |
| Version | 1.00beta |
| OS | Linux |
| Archite...| | |
| --- | --- |
| Bugzilla Link | [543](http://bugs.sac-home.org/show_bug.cgi?id=543) |
| Created on | Aug 05, 2009 23:50 |
| Resolution | FIXED |
| Resolved on | Oct 13, 2011 16:09 |
| Version | 1.00beta |
| OS | Linux |
| Architecture | PC |
| Attachments | [crud.breaks.sac](/uploads/580d5857467141ba7d94ea8a6f37521e/crud.breaks.sac) |
## Extended Description
<pre>compiler says:
****** Optimizing regular function:
****** _MAIN::xmuscl2( double[+], double, double, int, int): ...
Applying common subexpression elimination ...
Inferring loop invariant variables ...
Applying type upgrade ...
ERROR: line 174 file: tvd2d.sac
ERROR: loop variable "b" is being used inconsistently; conflicting types are
ERROR: double[*] and #47720: in [ --, double] le <> ge <>
*** Compilation failed ***
*** Exit code 73 (Running SAC optimizations)
*** 1 Error(s), 0 Warning(s)
cg@milos:~/sac/test> sac2c -V
sac2c v1.00-beta (Buchette d'Anjou)
developer rev 16290 linux-gnu_i686
(Wed Aug 5 23:16:08 CEST 2009 by cg)</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2070typesystem aborts instead of yielding error message2017-11-19T21:54:53ZStephan Herhuttypesystem aborts instead of yielding error message| | |
| --- | --- |
| Bugzilla Link | [411](http://bugs.sac-home.org/show_bug.cgi?id=411) |
| Created on | Mar 23, 2008 16:02 |
| Resolution | FIXED |
| Resolved on | Feb 23, 2009 21:05 |
| Version | 1.00beta |
| OS | Linux |
| Archite...| | |
| --- | --- |
| Bugzilla Link | [411](http://bugs.sac-home.org/show_bug.cgi?id=411) |
| Created on | Mar 23, 2008 16:02 |
| Resolution | FIXED |
| Resolved on | Feb 23, 2009 21:05 |
| Version | 1.00beta |
| OS | Linux |
| Architecture | PC |
| Attachments | [STAP_Mat_Invert.sac](/uploads/e35d077793d8657d7da0b1b071046e7f/STAP_Mat_Invert.sac), [gj.sac](/uploads/247dc24c88b8ccb63221db192b2732ce/gj.sac) |
## Extended Description
<pre>Created an attachment (id=461)
the module to reproduce the error
The attached program triggers an assertion. In the STAP_Mat_Invert module, function GJ uses an array of complex instead of an integer vector as shape. However, the module compiles fine. When being used in gj.sac. the compiler aborts.
I unfortunately do not have the time to look at this right now, so I file it as a bug mainly as a reminder to myself.</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/1682Changing a variables base type in a loop causes disturbing error message2017-11-19T21:15:11ZKai TrojahnerChanging a variables base type in a loop causes disturbing error message| | |
| --- | --- |
| Bugzilla Link | [299](http://bugs.sac-home.org/show_bug.cgi?id=299) |
| Created on | Oct 09, 2006 13:56 |
| Resolution | FIXED |
| Resolved on | Oct 11, 2006 17:25 |
| Version | 1.00beta |
| OS | Linux |
| Archite...| | |
| --- | --- |
| Bugzilla Link | [299](http://bugs.sac-home.org/show_bug.cgi?id=299) |
| Created on | Oct 09, 2006 13:56 |
| Resolution | FIXED |
| Resolved on | Oct 11, 2006 17:25 |
| Version | 1.00beta |
| OS | Linux |
| Architecture | PC |
## Extended Description
<pre>int main() {
vecloc = 1d;
while( true){
vecloc = _toi_S_(vecloc);
}
return(0);
}
gives error message
** 6: Running type inference system: ...
**** Running type inference system ...
ASSERTION FAILED: file 'src/typecheck/specialize.c', line 252
UpdateVarSignature called with incompatible args
EXECUTION TERMINATED
Abgebrochen</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/1681Type checker crashes on improvement of loop variable2017-11-19T21:15:06ZKai TrojahnerType checker crashes on improvement of loop variable| | |
| --- | --- |
| Bugzilla Link | [292](http://bugs.sac-home.org/show_bug.cgi?id=292) |
| Created on | Sep 19, 2006 14:22 |
| Resolution | FIXED |
| Resolved on | Oct 12, 2006 10:36 |
| Version | 1.00beta |
| OS | Linux |
| Archite...| | |
| --- | --- |
| Bugzilla Link | [292](http://bugs.sac-home.org/show_bug.cgi?id=292) |
| Created on | Sep 19, 2006 14:22 |
| Resolution | FIXED |
| Resolved on | Oct 12, 2006 10:36 |
| Version | 1.00beta |
| OS | Linux |
| Architecture | PC |
| Attachments | [bug292.sac](/uploads/4bccedffe84c8f5fb3ddc63b63977a25/bug292.sac) |
## Extended Description
The attached program causes the TC to crash with an access to a NULL pointer
while doing type upgrade. The program may not be perfect yet, but still we
wouldn't expect the type checker to break down like that.Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/1679the attached sample program breaks the typechecker2017-11-19T21:14:54ZStephan Herhutthe attached sample program breaks the typechecker| | |
| --- | --- |
| Bugzilla Link | [289](http://bugs.sac-home.org/show_bug.cgi?id=289) |
| Created on | Sep 14, 2006 14:33 |
| Resolution | FIXED |
| Resolved on | Sep 14, 2006 18:02 |
| Version | 1.00beta |
| OS | SunOS |
| Archite...| | |
| --- | --- |
| Bugzilla Link | [289](http://bugs.sac-home.org/show_bug.cgi?id=289) |
| Created on | Sep 14, 2006 14:33 |
| Resolution | FIXED |
| Resolved on | Sep 14, 2006 18:02 |
| Version | 1.00beta |
| OS | SunOS |
| Architecture | PC |
| Attachments | [bug289.sac](/uploads/bcdf19db930097f82be1181864f2468e/bug289.sac), [splitbug.sac](/uploads/8d23d9ef5b5c5296a331dded20236509/splitbug.sac) |
## Extended Description
The (soon to be) attached sample program breaks the compiler in the type checker.Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/1676assertion in typechecker2017-11-19T21:14:36ZStephan Herhutassertion in typechecker| | |
| --- | --- |
| Bugzilla Link | [283](http://bugs.sac-home.org/show_bug.cgi?id=283) |
| Created on | Aug 17, 2006 17:46 |
| Resolution | FIXED |
| Resolved on | Aug 17, 2006 19:46 |
| Version | 1.00beta |
| OS | SunOS |
| Archite...| | |
| --- | --- |
| Bugzilla Link | [283](http://bugs.sac-home.org/show_bug.cgi?id=283) |
| Created on | Aug 17, 2006 17:46 |
| Resolution | FIXED |
| Resolved on | Aug 17, 2006 19:46 |
| Version | 1.00beta |
| OS | SunOS |
| Architecture | PC |
| Attachments | [assert.sac](/uploads/d831d14d48aa27d760b13814f2a9aed0/assert.sac) |
## Extended Description
<pre>The soon to follow attachment produces the following assertion:
** 6: Running type inference system: ...
**** Running type inference system ...
ASSERTION FAILED: file 'src/typecheck/new_types.c', line 534
TYgetSimpleType applied to nonsimple-type!
EXECUTION TERMINATED
Abort</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/1670conceptual problem with ... return values2017-11-19T21:13:56ZStephan Herhutconceptual problem with ... return values| | |
| --- | --- |
| Bugzilla Link | [197](http://bugs.sac-home.org/show_bug.cgi?id=197) |
| Created on | Jan 26, 2006 13:26 |
| Resolution | FIXED |
| Resolved on | Jan 27, 2006 14:49 |
| Version | 1.00beta |
| OS | Linux |
| Archite...| | |
| --- | --- |
| Bugzilla Link | [197](http://bugs.sac-home.org/show_bug.cgi?id=197) |
| Created on | Jan 26, 2006 13:26 |
| Resolution | FIXED |
| Resolved on | Jan 27, 2006 14:49 |
| Version | 1.00beta |
| OS | Linux |
| Architecture | PC |
## Extended Description
<pre>Compiling module ScalarIO lead to the following error message:
ABORT: line 643 file: ScalarIO.sac
ABORT: Cannot infer type of "result" as it corresponds to "..." return type
ABORT: -- missing type declaration
This is due to the fact that the source code of function scanchar, which
includes a declaration for the type of result, is transformed in phase 5. The
original code looks like:
inline bool, char scanchar()
{
char result;
success, result=TermFile::scanf("%c");
return(success==1, result);
}
After transformation we get:
inline
#189: in [ --, Terminal::Terminal] le <> ge <>, #190: in [ --,
TermFile::TermFile] le <> ge <>, #191: in [ --, bool[*]] le <> ge <>, #192: in [
--, char[*]] le <> ge <> ScalarIO::scanchar( Terminal::Terminal
_rso_322_TheTerminal, TermFile::TermFile _rso_321_stdin)
/*
* scanchar :: ---
*/
{
unknown[*] _flat_9__SSA0_1; /* (null) */
unknown[*] result__SSA0_2; /* (null) */
unknown[*] result__SSA0_1; /* (null) */
unknown[*] _rso_321_stdin__SSA0_1; /* (null) */
unknown[*] _rso_322_TheTerminal__SSA0_1; /* (null) */
unknown[*] _flat_9; /* (null) */
unknown[*] _flat_10; /* (null) */
unknown[*] success; /* (null) */
unknown[*] _flat_6; /* (null) */
unknown[*] _flat_7; /* (null) */
unknown[*] _flat_8; /* (null) */
unknown[*] result; /* (null) */
_flat_8 = 2;
_flat_7 = [ '%', 'c', '\0' ];
_flat_6 = wrapper:String::to_string( _flat_7, _flat_8);
_rso_322_TheTerminal__SSA0_1, _rso_321_stdin__SSA0_1, success, result =
wrapper:TermFile::scanf( _rso_322_TheTerminal, _rso_321_stdin, _flat_6);
result__SSA0_1 = type_conv( char, result);
_flat_10 = 1;
_flat_9 = wrapper:ScalarArith::==( success, _flat_10);
result__SSA0_2 = type_conv( char, result__SSA0_1);
_flat_9__SSA0_1 = type_conv( bool, _flat_9);
return( _rso_322_TheTerminal__SSA0_1, _rso_321_stdin__SSA0_1, _flat_9__SSA0_1,
result__SSA0_2);
}
The original declaration has thus been transformed into a type_conv. This leads
to the given error message, as no declared type is available for result...</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/1666Presence of automatically derived AKS instance prevents dispatch to AKD instance2017-11-19T21:13:33ZKai TrojahnerPresence of automatically derived AKS instance prevents dispatch to AKD instance| | |
| --- | --- |
| Bugzilla Link | [181](http://bugs.sac-home.org/show_bug.cgi?id=181) |
| Created on | Jan 05, 2006 11:05 |
| Resolution | FIXED |
| Resolved on | Aug 09, 2006 10:08 |
| Version | 1.00beta |
| OS | Linux |
| Archite...| | |
| --- | --- |
| Bugzilla Link | [181](http://bugs.sac-home.org/show_bug.cgi?id=181) |
| Created on | Jan 05, 2006 11:05 |
| Resolution | FIXED |
| Resolved on | Aug 09, 2006 10:08 |
| Version | 1.00beta |
| OS | Linux |
| Architecture | PC |
| Attachments | [selbug.sac](/uploads/f40635862fb8fdb46489b73e5459acc2/selbug.sac) |
## Extended Description
rev 14508, see attachmentSven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/1608bottom return type replacement after NTC considered harmfull2017-11-19T21:07:34ZSven-Bodo Scholzbottom return type replacement after NTC considered harmfull| | |
| --- | --- |
| Bugzilla Link | [164](http://bugs.sac-home.org/show_bug.cgi?id=164) |
| Created on | Nov 30, 2005 20:32 |
| Resolution | FIXED |
| Resolved on | Dec 02, 2005 16:57 |
| Version | 1.00beta |
| OS | Solaris |
| Archi...| | |
| --- | --- |
| Bugzilla Link | [164](http://bugs.sac-home.org/show_bug.cgi?id=164) |
| Created on | Nov 30, 2005 20:32 |
| Resolution | FIXED |
| Resolved on | Dec 02, 2005 16:57 |
| Version | 1.00beta |
| OS | Solaris |
| Architecture | Sun |
| Attachments | [tutu.sac](/uploads/9f23126230dba49173ab3837fa12a2f1/tutu.sac) |
## Extended Description
<pre>bottom types may not be replaced by arbitrary types as this may break
the covariance property of overloadings :-(</pre>Stephan HerhutStephan Herhuthttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/1657Eliminating User-Defined Types dies horribly2017-11-19T21:12:33ZKai TrojahnerEliminating User-Defined Types dies horribly| | |
| --- | --- |
| Bugzilla Link | [132](http://bugs.sac-home.org/show_bug.cgi?id=132) |
| Created on | Oct 14, 2005 18:50 |
| Resolution | FIXED |
| Resolved on | Oct 14, 2005 19:20 |
| Version | 1.00beta |
| OS | All |
| Architect...| | |
| --- | --- |
| Bugzilla Link | [132](http://bugs.sac-home.org/show_bug.cgi?id=132) |
| Created on | Oct 14, 2005 18:50 |
| Resolution | FIXED |
| Resolved on | Oct 14, 2005 19:20 |
| Version | 1.00beta |
| OS | All |
| Architecture | Macintosh |
| Attachments | [bug132.sac](/uploads/4dbb1aa0b752eccbc82127c3cf2ee051/bug132.sac) |
## Extended Description
<pre>compiler dies like this
** 11: Eliminating User-Defined Types and Creating Wrapper Code: ...
**** Creating Wrapper Bodies ...
**** Eliminating conditionals in wrapper code ...
**** Establishing static single assignment form in wrapper code ...
**** Trying to dispatch staticly ...
**** Eliminating User-Defined Types ...
Assertion 'expr' failed: file 'new_types.c', line 1070
** TYgetScalar applied to other than array type!
Abort trap</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/1655type cast of emtpy array is ignored2017-11-19T21:12:21ZStephan Herhuttype cast of emtpy array is ignored| | |
| --- | --- |
| Bugzilla Link | [125](http://bugs.sac-home.org/show_bug.cgi?id=125) |
| Created on | Sep 29, 2005 14:58 |
| Resolution | FIXED |
| Resolved on | Nov 24, 2005 17:03 |
| Version | 1.00beta |
| OS | Linux |
| Archite...| | |
| --- | --- |
| Bugzilla Link | [125](http://bugs.sac-home.org/show_bug.cgi?id=125) |
| Created on | Sep 29, 2005 14:58 |
| Resolution | FIXED |
| Resolved on | Nov 24, 2005 17:03 |
| Version | 1.00beta |
| OS | Linux |
| Architecture | PC |
| Attachments | [46.sac](/uploads/5d62ace8fdaf6f95603361e47a226bdf/46.sac), [x46.sac](/uploads/7077d674121c2d08dfbf961976bcdfdd/x46.sac) |
## Extended Description
<pre>in the given example, the cast of a_e to char[0] is ignored by the TC and no
type conversion is performed, at all.
in example 2, which is a flattened version, a type error is raised.
this is more than inconsistent!</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/1603compiler breaks during TUP2017-11-19T21:07:02ZStephan Herhutcompiler breaks during TUP| | |
| --- | --- |
| Bugzilla Link | [116](http://bugs.sac-home.org/show_bug.cgi?id=116) |
| Created on | Sep 16, 2005 15:47 |
| Resolution | FIXED |
| Resolved on | Sep 16, 2005 19:07 |
| Version | 1.00beta |
| OS | SunOS |
| Archite...| | |
| --- | --- |
| Bugzilla Link | [116](http://bugs.sac-home.org/show_bug.cgi?id=116) |
| Created on | Sep 16, 2005 15:47 |
| Resolution | FIXED |
| Resolved on | Sep 16, 2005 19:07 |
| Version | 1.00beta |
| OS | SunOS |
| Architecture | Sun |
| Attachments | [shapeprob.sac](/uploads/0a5caf768341c58929f5e0b18576c1a4/shapeprob.sac) |
## Extended Description
<pre>Assertion 'expr' failed: file 'ct_prf.c', line 506
** shape called with incorrect number of arguments
Abort</pre>Stephan HerhutStephan Herhuthttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/1653compiler breaks during initial typechecking2017-11-19T21:12:08ZStephan Herhutcompiler breaks during initial typechecking| | |
| --- | --- |
| Bugzilla Link | [115](http://bugs.sac-home.org/show_bug.cgi?id=115) |
| Created on | Sep 16, 2005 15:44 |
| Resolution | FIXED |
| Resolved on | Sep 16, 2005 17:44 |
| Version | 1.00beta |
| OS | SunOS |
| Archite...| | |
| --- | --- |
| Bugzilla Link | [115](http://bugs.sac-home.org/show_bug.cgi?id=115) |
| Created on | Sep 16, 2005 15:44 |
| Resolution | FIXED |
| Resolved on | Sep 16, 2005 17:44 |
| Version | 1.00beta |
| OS | SunOS |
| Architecture | Sun |
| Attachments | [loop.sac](/uploads/6e3ca46cbcdf7611400abc6342802819/loop.sac) |
## Extended Description
see attached test caseSven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/1602type checker breaks on F_type_error prf2017-11-19T21:06:56ZStephan Herhuttype checker breaks on F_type_error prf| | |
| --- | --- |
| Bugzilla Link | [112](http://bugs.sac-home.org/show_bug.cgi?id=112) |
| Created on | Sep 13, 2005 19:53 |
| Resolution | FIXED |
| Resolved on | Sep 29, 2005 14:22 |
| Version | 1.00beta |
| OS | SunOS |
| Archite...| | |
| --- | --- |
| Bugzilla Link | [112](http://bugs.sac-home.org/show_bug.cgi?id=112) |
| Created on | Sep 13, 2005 19:53 |
| Resolution | FIXED |
| Resolved on | Sep 29, 2005 14:22 |
| Version | 1.00beta |
| OS | SunOS |
| Architecture | Sun |
| Attachments | [dfr.sac](/uploads/288d2f16f0414755484763ee9e4cec15/dfr.sac) |
## Extended Description
<pre>when doing type upgrade on the given example, the typechecker breaks while
trying to typecheck the F_type_error during cycle 3.
the program needs to be that complicated to ensure type upgrade running 3 times
on function reverse.</pre>Stephan HerhutStephan Herhuthttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/1651Compilation breaks for simple modarray ops if TUP is enabled2017-11-19T21:11:57ZStephan HerhutCompilation breaks for simple modarray ops if TUP is enabled| | |
| --- | --- |
| Bugzilla Link | [111](http://bugs.sac-home.org/show_bug.cgi?id=111) |
| Created on | Sep 05, 2005 18:01 |
| Resolution | FIXED |
| Resolved on | Sep 16, 2005 17:37 |
| Version | 1.00beta |
| OS | SunOS |
| Archite...| | |
| --- | --- |
| Bugzilla Link | [111](http://bugs.sac-home.org/show_bug.cgi?id=111) |
| Created on | Sep 05, 2005 18:01 |
| Resolution | FIXED |
| Resolved on | Sep 16, 2005 17:37 |
| Version | 1.00beta |
| OS | SunOS |
| Architecture | Sun |
| Attachments | [tmp.sac](/uploads/98ab74d8fd9aeda18fcfdf03ce229399/tmp.sac) |
## Extended Description
<pre>try the given example with:
sac2c -doTUP bug.sac
the error given is:
ABORT: line 196 file: ArrayBasics.sac
ABORT: Component #0 of inferred return type (int[*]) is not within int[+]
removing one of the two assignments (modarrays) for a resolves the error.
example:
import Array:all;
int main()
{
a = [ [1,2,3], [4,5,6], [7,8,9]];
a[0] = [11, 0, 0];
a[1] = a[2];
return(a[[0,0]]);
}</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/1650Non-terminating rRecursive function does not compile2017-11-19T21:11:51ZKai TrojahnerNon-terminating rRecursive function does not compile| | |
| --- | --- |
| Bugzilla Link | [107](http://bugs.sac-home.org/show_bug.cgi?id=107) |
| Created on | Aug 02, 2005 15:20 |
| Resolution | WORKSFORME |
| Resolved on | Aug 10, 2005 13:02 |
| Version | 1.00beta |
| OS | Linux |
| Ar...| | |
| --- | --- |
| Bugzilla Link | [107](http://bugs.sac-home.org/show_bug.cgi?id=107) |
| Created on | Aug 02, 2005 15:20 |
| Resolution | WORKSFORME |
| Resolved on | Aug 10, 2005 13:02 |
| Version | 1.00beta |
| OS | Linux |
| Architecture | PC |
## Extended Description
The following simple program does not compile past the typechecker:
int f0(int i) {
i = f0(i);
return(i);
}
The compiler refuses the program and correctly states that f0 does not terminate.
IMHO, this is no reason for the compiler not to compile the program.Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/1532unique typedef is not of hidden base type2017-11-19T21:00:05ZKarsten Hinckfußunique typedef is not of hidden base type| | |
| --- | --- |
| Bugzilla Link | [81](http://bugs.sac-home.org/show_bug.cgi?id=81) |
| Created on | Nov 04, 2004 18:46 |
| Resolution | WONTFIX |
| Resolved on | Jun 27, 2005 11:56 |
| Version | 1.00beta |
| OS | Linux |
| Archite...| | |
| --- | --- |
| Bugzilla Link | [81](http://bugs.sac-home.org/show_bug.cgi?id=81) |
| Created on | Nov 04, 2004 18:46 |
| Resolution | WONTFIX |
| Resolved on | Jun 27, 2005 11:56 |
| Version | 1.00beta |
| OS | Linux |
| Architecture | PC |
## Extended Description
<pre>compilation of demo/sac_from_c/src/IntStack.sac fails in phase 7
with "unique typedef is not of hidden base type"</pre>Kai TrojahnerKai Trojahner