Changes in / [909aebf:8e04794]


Ignore:
Files:
89 added
88 deleted
23 edited

Legend:

Unmodified
Added
Removed

  • benchmark/Makefile.am

    r909aebf r8e04794  
    1111## Created On       : Sun May 31 09:08:15 2015
    1212## Last Modified By : Peter A. Buhr
    13 ## Last Modified On : Tue Nov  6 09:01:23 2018
    14 ## Update Count     : 26
     13## Last Modified On : Mon Jan 25 22:31:42 2016
     14## Update Count     : 25
    1515###############################################################################
    1616
    … …  
    304304
    305305compile-attributes$(EXEEXT):
    306         @$(CFACOMPILE) -fsyntax-only -w $(testdir)/attributes.cfa
     306        @$(CFACOMPILE) -fsyntax-only -w $(testdir)/attributes.c
    307307
    308308compile-empty$(EXEEXT):

  • doc/bibliography/pl.bib

    r909aebf r8e04794  
    2121%  toplas: ACM Trans. on Prog. Lang. & Sys.
    2222%  tcs: Theoretical Computer Science
    23 
    24 string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"}
    25 @string{ieeepds="IEEE Trans. Parallel Distrib. Syst."}
    26 string{ieeese="IEEE Transactions on Software Engineering"}
    27 @string{ieeese="IEEE Trans. Softw. Eng."}
    28 string{spe="Software---\-Practice and Experience"}
    29 @string{spe="Softw. Pract. Exper."}
    30 string{ccpe="Concurrency and Computation: Practice and Experience"}
    31 @string{ccpe="Concurrency Comput.: Pract. Exper."}
    32 string{sigplan="SIGPLAN Notices"}
    33 @string{sigplan="SIGPLAN Not."}
    34 string{joop="Journal of Object-Oriented Programming"}
    35 @string{joop="J. of Object-Oriented Program."}
     23@string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"}
     24% @string{ieeepds="IEEE Trans. Parallel Distrib. Syst."}
     25@string{ieeese="IEEE Transactions on Software Engineering"}
     26% @string{ieeese="IEEE Trans. Softw. Eng."}
     27@string{spe="Software---\-Practice and Experience"}
     28% @string{spe="Softw. Pract. Exp."}
     29@string{ccpe="Concurrency and Computation: Practice and Experience"}
     30% @string{ccpe="Concurrency Comput: Pract Experience"}
     31@string{sigplan="SIGPLAN Notices"}
     32% @string{sigplan="SIGPLAN Not."}
     33@string{joop="Journal of Object-Oriented Programming"}
     34% @string{joop="J. of Object-Oriented Program."}
    3635@string{popl="Conference Record of the ACM Symposium on Principles of Programming Languages"}
    3736@string{osr="Operating Systems Review"}
    3837@string{pldi="Programming Language Design and Implementation"}
    3938@string{toplas="Transactions on Programming Languages and Systems"}
    40 string{mathann="Mathematische Annalen"}
    41 @string{mathann="Math. Ann."}
     39@string{mathann="Mathematische Annalen"}
     40% @string{mathann="Math. Ann."}
    4241
    4342% A
    … …  
    567566}
    568567
    569 @inproceedings {Qin18,
    570     author      = {Henry Qin and Qian Li and Jacqueline Speiser and Peter Kraft and John Ousterhout},
    571     title       = {Arachne: Core-Aware Thread Management},
    572     booktitle   = {13th {USENIX} Symp. on Oper. Sys. Design and Impl. ({OSDI} 18)},
    573     year        = {2018},
    574     address     = {Carlsbad, CA},
    575     pages       = {145-160},
    576     publisher   = {{USENIX} Association},
    577     note        = {\href{https://www.usenix.org/conference/osdi18/presentation/qin}{https://\-www.usenix.org/\-conference/\-osdi18/\-presentation/\-qin}},
    578 }
    579 
    580568@article{Kessels82,
    581569    keywords    = {concurrency, critical section},
    … …  
    665653    author      = {Joung, Yuh-Jzer},
    666654    title       = {Asynchronous group mutual exclusion},
    667     journal     = {Dist. Comput.},
    668     optjournal  = {Distributed Computing},
     655    journal     = {Distributed Computing},
    669656    year        = {2000},
    670657    month       = {Nov},
    … …  
    809796        time computable inheritance hierarchy.
    810797    },
    811     comment     = {
     798    comment = {
    812799        Classes are predicates; if object {\tt o} is in class {\tt C}, then
    813800        {\tt C} is true of {\tt o}.  Classes are combined with {\tt :AND},
    … …  
    963950
    964951@article{Moss18,
    965     keywords    = {type systems, polymorphism, tuples, Cforall},
     952    keywords    = {type systems, tuples, Cforall},
    966953    contributer = {pabuhr@plg},
    967954    author      = {Aaron Moss and Robert Schluntz and Peter A. Buhr},
    968955    title       = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to C},
     956    year        = 2018,
     957    month       = aug,
    969958    journal     = spe,
    970     volume      = 48,
    971     number      = 12,
    972     month       = dec,
    973     year        = 2018,
    974     pages       = {2111-2146},
    975959    note        = {\href{http://dx.doi.org/10.1002/spe.2624}{http://\-dx.doi.org/\-10.1002/\-spe.2624}},
    976960}
    … …  
    1005989    journal     = {Dr. Dobb's Journal of Software Tools},
    1006990    year        = 1989,
    1007     month       = feb,
    1008     volume      = 14,
    1009     number      = 2,
    1010     pages       = {45-51},
     991    month       = feb, volume = 14, number = 2, pages = {45-51},
    1011992    comment     = {
    1012993       A light-weight multitasking kernel for MS-DOS.  A task\_control
    … …  
    15261507}
    15271508
    1528 @manual{uC++,
     1509@techreport{uC++,
    15291510    keywords    = {C++, concurrency, light-weight process, shared memory},
    15301511    contributer = {pabuhr@plg},
    1531     key         = {uC++},
    15321512    author      = {Peter A. Buhr},
    15331513    title       = {$\mu${C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Annotated Reference Manual, Version 7.0.0},
    1534     organization= {University of Waterloo},
    1535     month       = sep,
    1536     year        = 2018,
     1514    institution = {School of Computer Science, University of Waterloo},
     1515    address     = {Waterloo, Ontario, Canada, N2L 3G1},
     1516    month       = dec,
     1517    year        = 2017,
    15371518    note        = {\href{https://plg.uwaterloo.ca/~usystem/pub/uSystem/uC++.pdf}{https://\-plg.uwaterloo.ca/\-$\sim$usystem/\-pub/\-uSystem/uC++.pdf}},
    15381519}
    … …  
    16051586    author      = {Sun, Xianda},
    16061587    title       = {Concurrent High-performance Persistent Hash Table In {J}ava},
    1607     school      = {School of Computer Sc., University of Waterloo},
     1588    school      = {School of Computer Science, University of Waterloo},
    16081589    year        = 2015,
    16091590    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
    … …  
    19551936    note        = {Svensk Standard SS 63 61 14},
    19561937    year        = 1987,
    1957     abstract    = {Standard for the programming language SIMULA. Written in English.}
     1938    abstract    = {
     1939        Standard for the programming language SIMULA.  Written in English.
     1940    }
    19581941}
    19591942
    19601943@article{Galil91,
    1961     keywords    = {union-find},
    1962     contributer = {a3moss@uwaterloo.ca},
    1963     title       = {Data structures and algorithms for disjoint set union problems},
    1964     author      = {Galil, Zvi and Italiano, Giuseppe F},
    1965     journal     = {ACM Computing Surveys (CSUR)},
    1966     volume      = 23,
    1967     number      = 3,
    1968     pages       = {319--344},
    1969     year        = 1991,
    1970     publisher   = {ACM},
     1944  keywords = {union-find},
     1945  contributer = {a3moss@uwaterloo.ca},
     1946  title={Data structures and algorithms for disjoint set union problems},
     1947  author={Galil, Zvi and Italiano, Giuseppe F},
     1948  journal={ACM Computing Surveys (CSUR)},
     1949  volume={23},
     1950  number={3},
     1951  pages={319--344},
     1952  year={1991},
     1953  publisher={ACM}
    19711954}
    19721955
    … …  
    21112094
    21122095@book{Aho74,
    2113     keywords    = {algorithms, textbook, union-find},
    2114     contributer = {a3moss@uwaterloo.ca},
    2115     title       = {The Design and Analysis of Computer Algorithms},
    2116     author      = {Aho, Alfred V and Hopcroft, John E and Ullman, Jeffrey D},
    2117     year        = {1974},
    2118     publisher   = {Addison-Wesley},
    2119     address     = {Reading, MA, USA}
     2096  keywords = {algorithms, textbook, union-find},
     2097  contributer = {a3moss@uwaterloo.ca},
     2098  title = {The Design and Analysis of Computer Algorithms},
     2099  author = {Aho, Alfred V and Hopcroft, John E and Ullman, Jeffrey D},
     2100  year = {1974},
     2101  publisher = {Addison-Wesley},
     2102  address = {Reading, MA, USA}
    21202103}
    21212104
    … …  
    29172900    month       = oct,
    29182901    year        = 1988,
    2919     pages       = {143-149}
    2920 }
    2921 
    2922 @inproceedings{Patwary10,
    2923     keywords    = {union-find},
    2924     contributer = {a3moss@uwaterloo.ca},
    2925     author      = {Patwary, Md. Mostofa Ali and Blair, Jean and Manne, Fredrik},
    2926     editor      = {Festa, Paola},
    2927     title       = {Experiments on Union-Find Algorithms for the Disjoint-Set Data Structure},
    2928     booktitle   = {Experimental Algorithms},
    2929     year        = 2010,
    2930     publisher   = {Springer Berlin Heidelberg},
    2931     address     = {Berlin, Heidelberg},
    2932     pages       = {411--423},
    2933     isbn        = {978-3-642-13193-6}
     2902    pages       = {143--149}
     2903}
     2904
     2905@InProceedings{Patwary10,
     2906keywords = {union-find},
     2907contributer = {a3moss@uwaterloo.ca},
     2908author={Patwary, Md. Mostofa Ali and Blair, Jean and Manne, Fredrik},
     2909editor={Festa, Paola},
     2910title={Experiments on Union-Find Algorithms for the Disjoint-Set Data Structure},
     2911booktitle={Experimental Algorithms},
     2912year=2010,
     2913publisher={Springer Berlin Heidelberg},
     2914address={Berlin, Heidelberg},
     2915pages={411--423},
     2916isbn={978-3-642-13193-6}
    29342917}
    29352918
    … …  
    32773260    keywords    = {Go programming language},
    32783261    contributer = {pabuhr@plg},
     3262    title       = {{Go} Programming Language},
    32793263    author      = {Robert Griesemer and Rob Pike and Ken Thompson},
    3280     title       = {{Go} Programming Language},
    32813264    organization= {Google},
    32823265    year        = 2009,
    … …  
    34703453    month       = sep,
    34713454    publisher   = {John Wiley \& Sons},
    3472     note        = {\href{https://doi.org/10.1002/cpe.4475}{https://\-doi.org/\-10.1002/\-cpe.4475}},
     3455    note        = {\href{https://doi-org.proxy.lib.uwaterloo.ca/10.1002/cpe.4475}{https://\-doi-org.proxy.lib.uwaterloo.ca/\-10.1002/\-cpe.4475}},
    34733456}
    34743457
    … …  
    36113594
    36123595@article{Galler64,
    3613     keywords    = {union-find, original},
    3614     contributer = {a3moss@uwaterloo.ca},
    3615     title       = {An improved equivalence algorithm},
    3616     author      = {Galler, Bernard A and Fisher, Michael J},
    3617     journal     = {Communications of the ACM},
    3618     volume      = {7},
    3619     number      = {5},
    3620     pages       = {301--303},
    3621     year        = {1964},
    3622     publisher   = {ACM}
     3596  keywords={union-find, original},
     3597  contributer={a3moss@uwaterloo.ca},
     3598  title={An improved equivalence algorithm},
     3599  author={Galler, Bernard A and Fisher, Michael J},
     3600  journal={Communications of the ACM},
     3601  volume={7},
     3602  number={5},
     3603  pages={301--303},
     3604  year={1964},
     3605  publisher={ACM}
    36233606}
    36243607
    … …  
    39653948    author      = {Peter A. Buhr and Martin Karsten and Jun Shih},
    39663949    title       = {{\small\textsf{KDB}}: A Multi-threaded Debugger for Multi-threaded Applications},
    3967     booktitle   = {Proc. of SPDT'96: SIGMETRICS Symp. on Parallel and Distributed Tools},
     3950    booktitle   = {Proceedings of SPDT'96: SIGMETRICS Symposium on Parallel and Distributed Tools},
    39683951    publisher   = {ACM Press},
    39693952    address     = {Philadelphia, Pennsylvania, U.S.A.},
    … …  
    54575440
    54585441@inproceedings{Conchon07,
    5459     keywords    = {persistent array, union-find},
    5460     contributer = {a3moss@uwaterloo.ca},
    5461     title       = {A persistent union-find data structure},
    5462     author      = {Conchon, Sylvain and Filli{\^a}tre, Jean-Christophe},
    5463     booktitle   = {Proceedings of the 2007 workshop on Workshop on ML},
    5464     pages       = {37--46},
    5465     year        = {2007},
    5466     organization= {ACM}
     5442  keywords = {persistent array, union-find},
     5443  contributer = {a3moss@uwaterloo.ca},
     5444  title={A persistent union-find data structure},
     5445  author={Conchon, Sylvain and Filli{\^a}tre, Jean-Christophe},
     5446  booktitle={Proceedings of the 2007 workshop on Workshop on ML},
     5447  pages={37--46},
     5448  year={2007},
     5449  organization={ACM}
    54675450}
    54685451
    … …  
    56815664    author      = {Peter A. Buhr and Robert Denda},
    56825665    title       = {{$\mu$Profiler} : Profiling User-Level Threads in a Shared-Memory Programming Environment},
    5683     booktitle   = {Proc. of 2nd Inter. Symp. on Computing in Object-Oriented Parallel Environments},
     5666    booktitle   = {Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments (ISCOPE'98)},
    56845667    series      = {Lecture Notes in Computer Science},
    56855668    publisher   = {Springer-Verlag},
    … …  
    60526035    issn        = {0164-0925},
    60536036    pages       = {429-475},
    6054     url         = {http://doi.acm.org/10.1145/1133651.1133653},
     6037    url         = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653},
    60556038    doi         = {10.1145/1133651.1133653},
    60566039    acmid       = {1133653},
    … …  
    63196302    contributer = {pabuhr@plg},
    63206303    key         = {Rust},
    6321     title       = {{R}ust Programming Language},
    6322     optaddress  = {Rust Project Developers},
     6304    title       = {The {R}ust Programming Language},
     6305    address     = {The Rust Project Developers},
    63236306    year        = 2015,
    63246307    note        = {\href{https://doc.rust-lang.org/reference.html}{https://\-doc.rust-lang\-.org/\-reference.html}},
    … …  
    63896372
    63906373@article{Baker78,
    6391     keywords    = {Algol display, FUNARG's, Lisp 1.5, deep binding, environment trees, multiprogramming, shallow binding},
    6392     contributer = {a3moss@uwaterloo.ca},
    6393     author      = {Baker,Jr., Henry G.},
    6394     title       = {Shallow Binding in Lisp 1.5},
    6395     journal     = {Commun. ACM},
    6396     issue_date  = {July 1978},
    6397     volume      = 21,
    6398     number      = 7,
    6399     month       = jul,
    6400     year        = 1978,
    6401     issn        = {0001-0782},
    6402     pages       = {565--569},
    6403     numpages    = {5},
    6404     url         = {http://doi.acm.org/10.1145/359545.359566},
    6405     doi         = {10.1145/359545.359566},
    6406     acmid       = {359566},
    6407     publisher   = {ACM},
    6408     address     = {New York, NY, USA}
     6374 keywords = {Algol display, FUNARG's, Lisp 1.5, deep binding, environment trees, multiprogramming, shallow binding},
     6375 contributer = {a3moss@uwaterloo.ca},
     6376 author = {Baker,Jr., Henry G.},
     6377 title = {Shallow Binding in Lisp 1.5},
     6378 journal = {Commun. ACM},
     6379 issue_date = {July 1978},
     6380 volume = {21},
     6381 number = {7},
     6382 month = jul,
     6383 year = {1978},
     6384 issn = {0001-0782},
     6385 pages = {565--569},
     6386 numpages = {5},
     6387 url = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/359545.359566},
     6388 doi = {10.1145/359545.359566},
     6389 acmid = {359566},
     6390 publisher = {ACM},
     6391 address = {New York, NY, USA}
    64096392}
    64106393
    64116394@article{Baker91,
    6412     keywords    = {shallow binding, functional arrays},
    6413     contributer = {a3moss@uwaterloo.ca},
    6414     author      = {Baker, Henry G.},
    6415     title       = {Shallow Binding Makes Functional Arrays Fast},
    6416     journal     = {SIGPLAN Not.},
    6417     issue_date  = {Aug. 1991},
    6418     volume      = 26,
    6419     number      = 8,
    6420     month       = aug,
    6421     year        = 1991,
    6422     issn        = {0362-1340},
    6423     pages       = {145--147},
    6424     numpages    = {3},
    6425     url         = {http://doi.acm.org/10.1145/122598.122614},
    6426     doi         = {10.1145/122598.122614},
    6427     acmid       = {122614},
    6428     publisher   = {ACM},
    6429     address     = {New York, NY, USA},
     6395 keywords = {shallow binding, functional arrays},
     6396 contributer = {a3moss@uwaterloo.ca},
     6397 author = {Baker, Henry G.},
     6398 title = {Shallow Binding Makes Functional Arrays Fast},
     6399 journal = {SIGPLAN Not.},
     6400 issue_date = {Aug. 1991},
     6401 volume = {26},
     6402 number = {8},
     6403 month = aug,
     6404 year = {1991},
     6405 issn = {0362-1340},
     6406 pages = {145--147},
     6407 numpages = {3},
     6408 url = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/122598.122614},
     6409 doi = {10.1145/122598.122614},
     6410 acmid = {122614},
     6411 publisher = {ACM},
     6412 address = {New York, NY, USA},
    64306413}
    64316414
    … …  
    75977580
    75987581@article{Tarjan84,
    7599     keywords    = {union-find},
    7600     contributer = {a3moss@uwaterloo.ca},
    7601     author      = {Tarjan, Robert E. and van Leeuwen, Jan},
    7602     title       = {Worst-case Analysis of Set Union Algorithms},
    7603     journal     = {J. ACM},
    7604     issue_date  = {April 1984},
    7605     volume      = 31,
    7606     number      = 2,
    7607     month       = mar,
    7608     year        = 1984,
    7609     issn        = {0004-5411},
    7610     pages       = {245--281},
    7611     numpages    = {37},
    7612     url         = {http://doi.acm.org/10.1145/62.2160},
    7613     doi         = {10.1145/62.2160},
    7614     acmid       = {2160},
    7615     publisher   = {ACM},
    7616     address     = {New York, NY, USA},
     7582 keywords = {union-find},
     7583 contributer = {a3moss@uwaterloo.ca},
     7584 author = {Tarjan, Robert E. and van Leeuwen, Jan},
     7585 title = {Worst-case Analysis of Set Union Algorithms},
     7586 journal = {J. ACM},
     7587 issue_date = {April 1984},
     7588 volume = {31},
     7589 number = {2},
     7590 month = mar,
     7591 year = {1984},
     7592 issn = {0004-5411},
     7593 pages = {245--281},
     7594 numpages = {37},
     7595 url = {http://doi.acm.org/10.1145/62.2160},
     7596 doi = {10.1145/62.2160},
     7597 acmid = {2160},
     7598 publisher = {ACM},
     7599 address = {New York, NY, USA},
    76177600}
    76187601

  • src/Parser/parser.yy

    r909aebf r8e04794  
    1010// Created On       : Sat Sep  1 20:22:55 2001
    1111// Last Modified By : Peter A. Buhr
    12 // Last Modified On : Sat Nov  3 08:55:10 2018
    13 // Update Count     : 4032
     12// Last Modified On : Thu Nov  1 20:59:49 2018
     13// Update Count     : 4030
    1414//
    1515
    … …  
    192192        } // if
    193193        return new ForCtrl(
    194                 distAttr( DeclarationNode::newTypeof( type, true ), DeclarationNode::newName( index )->addInitializer( new InitializerNode( start ) ) ),
     194                distAttr( DeclarationNode::newTypeof( type ), DeclarationNode::newName( index )->addInitializer( new InitializerNode( start ) ) ),
    195195                new ExpressionNode( build_binary_val( compop, new ExpressionNode( build_varref( new string( *index ) ) ), comp ) ),
    196196                new ExpressionNode( build_binary_val( compop == OperKinds::LThan || compop == OperKinds::LEThan ? // choose += or -= for upto/downto

  • tests/.expect/alloc-ERROR.txt

    r909aebf r8e04794  
    1 alloc.cfa:265:1 error: No reasonable alternatives for expression Applying untyped:
     1alloc.c:265:1 error: No reasonable alternatives for expression Applying untyped:
    22  Name: ?=?
    33...to:
    … …  
    1919
    2020
    21 alloc.cfa:266:1 error: No reasonable alternatives for expression Applying untyped:
     21alloc.c:266:1 error: No reasonable alternatives for expression Applying untyped:
    2222  Name: ?=?
    2323...to:
    … …  
    3939
    4040
    41 alloc.cfa:267:1 error: No reasonable alternatives for expression Applying untyped:
     41alloc.c:267:1 error: No reasonable alternatives for expression Applying untyped:
    4242  Name: ?=?
    4343...to:
    … …  
    5050
    5151
    52 alloc.cfa:268:1 error: No reasonable alternatives for expression Applying untyped:
     52alloc.c:268:1 error: No reasonable alternatives for expression Applying untyped:
    5353  Name: ?=?
    5454...to:

  • tests/.expect/castError.txt

    r909aebf r8e04794  
    1 castError.cfa:7:1 error: Cannot choose between 3 alternatives for expression
     1castError.c:7:1 error: Cannot choose between 3 alternatives for expression
    22Cast of:
    33  Name: f
    44... to:
    5   char Alternatives are:
     5  charAlternatives are:
    66Cost ( 1, 0, 0, 0 ): Cast of:
    77     Variable Expression: f: function

  • tests/.expect/completeTypeError.txt

    r909aebf r8e04794  
    1 completeTypeError.cfa:33:1 error: No reasonable alternatives for expression Applying untyped:
     1completeTypeError.c:33:1 error: No reasonable alternatives for expression Applying untyped:
    22  Name: *?
    33...to:
    44  Name: v
    55
    6 completeTypeError.cfa:34:1 error: No reasonable alternatives for expression Applying untyped:
     6completeTypeError.c:34:1 error: No reasonable alternatives for expression Applying untyped:
    77  Name: *?
    88...to:
    99  Name: y
    1010
    11 completeTypeError.cfa:35:1 error: No reasonable alternatives for expression Applying untyped:
     11completeTypeError.c:35:1 error: No reasonable alternatives for expression Applying untyped:
    1212  Name: foo
    1313...to:
    1414  Name: v
    1515
    16 completeTypeError.cfa:36:1 error: No reasonable alternatives for expression Applying untyped:
     16completeTypeError.c:36:1 error: No reasonable alternatives for expression Applying untyped:
    1717  Name: baz
    1818...to:
    1919  Name: v
    2020
    21 completeTypeError.cfa:37:1 error: No reasonable alternatives for expression Applying untyped:
     21completeTypeError.c:37:1 error: No reasonable alternatives for expression Applying untyped:
    2222  Name: quux
    2323...to:
    2424  Name: v
    2525
    26 completeTypeError.cfa:58:1 error: No reasonable alternatives for expression Applying untyped:
     26completeTypeError.c:58:1 error: No reasonable alternatives for expression Applying untyped:
    2727  Name: baz
    2828...to:
    2929  Name: y
    3030
    31 completeTypeError.cfa:59:1 error: No reasonable alternatives for expression Applying untyped:
     31completeTypeError.c:59:1 error: No reasonable alternatives for expression Applying untyped:
    3232  Name: quux
    3333...to:
    3434  Name: y
    3535
    36 completeTypeError.cfa:60:1 error: No reasonable alternatives for expression Applying untyped:
     36completeTypeError.c:60:1 error: No reasonable alternatives for expression Applying untyped:
    3737  Name: *?
    3838...to:
    3939  Name: y
    4040
    41 completeTypeError.cfa:72:1 error: No reasonable alternatives for expression Applying untyped:
     41completeTypeError.c:72:1 error: No reasonable alternatives for expression Applying untyped:
    4242  Name: baz
    4343...to:

  • tests/.expect/declarationErrors.txt

    r909aebf r8e04794  
    1 declarationErrors.cfa:16:1 error: duplicate static in declaration of x1: static const volatile short int
     1declarationErrors.c:16:1 error: duplicate static in declaration of x1: static const volatile short int
    22
    3 declarationErrors.cfa:17:1 error: conflicting extern & static in declaration of x2: extern const volatile short int
     3declarationErrors.c:17:1 error: conflicting extern & static in declaration of x2: extern const volatile short int
    44
    5 declarationErrors.cfa:18:1 error: conflicting extern & auto, conflicting extern & static, conflicting extern & static, duplicate extern in declaration of x3: extern const volatile short int
     5declarationErrors.c:18:1 error: conflicting extern & auto, conflicting extern & static, conflicting extern & static, duplicate extern in declaration of x3: extern const volatile short int
    66
    7 declarationErrors.cfa:19:1 error: duplicate static in declaration of x4: static const volatile instance of const volatile struct __anonymous0
     7declarationErrors.c:19:1 error: duplicate static in declaration of x4: static const volatile instance of const volatile struct __anonymous0
    88  with members
    99    i: int
    … …  
    1111
    1212
    13 declarationErrors.cfa:20:1 error: duplicate const, duplicate static, duplicate volatile in declaration of x5: static const volatile instance of const volatile struct __anonymous1
     13declarationErrors.c:20:1 error: duplicate const, duplicate static, duplicate volatile in declaration of x5: static const volatile instance of const volatile struct __anonymous1
    1414  with members
    1515    i: int
    … …  
    1717
    1818
    19 declarationErrors.cfa:22:1 error: duplicate static in declaration of x6: static const volatile Int
     19declarationErrors.c:22:1 error: duplicate static in declaration of x6: static const volatile Int
    2020
    21 declarationErrors.cfa:24:1 error: duplicate const in declaration of f01: static inline function
     21declarationErrors.c:24:1 error: duplicate const in declaration of f01: static inline function
    2222  with no parameters
    2323  returning const volatile int
    2424
    2525
    26 declarationErrors.cfa:25:1 error: duplicate volatile in declaration of f02: static inline function
     26declarationErrors.c:25:1 error: duplicate volatile in declaration of f02: static inline function
    2727  with no parameters
    2828  returning const volatile int
    2929
    3030
    31 declarationErrors.cfa:26:1 error: duplicate const in declaration of f03: static inline function
     31declarationErrors.c:26:1 error: duplicate const in declaration of f03: static inline function
    3232  with no parameters
    3333  returning const volatile int
    3434
    3535
    36 declarationErrors.cfa:27:1 error: duplicate volatile in declaration of f04: static inline function
     36declarationErrors.c:27:1 error: duplicate volatile in declaration of f04: static inline function
    3737  with no parameters
    3838  returning const volatile int
    3939
    4040
    41 declarationErrors.cfa:28:1 error: duplicate const in declaration of f05: static inline function
     41declarationErrors.c:28:1 error: duplicate const in declaration of f05: static inline function
    4242  with no parameters
    4343  returning const volatile int
    4444
    4545
    46 declarationErrors.cfa:29:1 error: duplicate volatile in declaration of f06: static inline function
     46declarationErrors.c:29:1 error: duplicate volatile in declaration of f06: static inline function
    4747  with no parameters
    4848  returning const volatile int
    4949
    5050
    51 declarationErrors.cfa:30:1 error: duplicate const in declaration of f07: static inline function
     51declarationErrors.c:30:1 error: duplicate const in declaration of f07: static inline function
    5252  with no parameters
    5353  returning const volatile int
    5454
    5555
    56 declarationErrors.cfa:31:1 error: duplicate const, duplicate volatile in declaration of f08: static inline function
     56declarationErrors.c:31:1 error: duplicate const, duplicate volatile in declaration of f08: static inline function
    5757  with no parameters
    5858  returning const volatile int
    5959
    6060
    61 declarationErrors.cfa:33:1 error: duplicate const, duplicate volatile in declaration of f09: static inline function
     61declarationErrors.c:33:1 error: duplicate const, duplicate volatile in declaration of f09: static inline function
    6262  with no parameters
    6363  returning const volatile int
    6464
    6565
    66 declarationErrors.cfa:34:1 error: duplicate const, duplicate _Atomic, duplicate _Atomic, duplicate const, duplicate restrict, duplicate volatile in declaration of f09: static inline function
     66declarationErrors.c:34:1 error: duplicate const, duplicate _Atomic, duplicate _Atomic, duplicate const, duplicate restrict, duplicate volatile in declaration of f09: static inline function
    6767  with no parameters
    6868  returning const restrict volatile _Atomic int

  • tests/.expect/nested-types-ERR1.txt

    r909aebf r8e04794  
    1 nested-types.cfa:70:1 error: Use of undefined type T
     1nested-types.c:70:1 error: Use of undefined type T

  • tests/.expect/nested-types-ERR2.txt

    r909aebf r8e04794  
    1 nested-types.cfa:73:1 error: Use of undefined global type Z
    2 nested-types.cfa:74:1 error: Qualified type requires an aggregate on the left, but has: signed int
    3 nested-types.cfa:75:1 error: Undefined type in qualified type: Qualified Type:
     1nested-types.c:73:1 error: Use of undefined global type Z
     2nested-types.c:74:1 error: Qualified type requires an aggregate on the left, but has: signed int
     3nested-types.c:75:1 error: Undefined type in qualified type: Qualified Type:
    44  instance of struct S with body 1
    55  instance of type Z (not function type)

  • tests/.expect/scopeErrors.txt

    r909aebf r8e04794  
    1 scopeErrors.cfa:2:1 error: duplicate object definition for thisIsAnError: signed int
    2 scopeErrors.cfa:20:1 error: duplicate function definition for butThisIsAnError: function
     1scopeErrors.c:2:1 error: duplicate object definition for thisIsAnError: signed int
     2scopeErrors.c:20:1 error: duplicate function definition for butThisIsAnError: function
    33... with parameters
    44  double

  • tests/.expect/typedefRedef-ERR1.txt

    r909aebf r8e04794  
    1 typedefRedef.cfa:4:1 error: Cannot redefine typedef: Foo
    2 typedefRedef.cfa:60:1 error: Cannot redefine typedef: ARR
     1typedefRedef.c:4:1 error: Cannot redefine typedef: Foo
     2typedefRedef.c:60:1 error: Cannot redefine typedef: ARR

  • tests/Makefile.am

    r909aebf r8e04794  
    1111## Created On       : Sun May 31 09:08:15 2015
    1212## Last Modified By : Peter A. Buhr
    13 ## Last Modified On : Wed Nov  7 12:03:29 2018
    14 ## Update Count     : 59
     13## Last Modified On : Wed Jun  6 16:42:20 2018
     14## Update Count     : 49
    1515###############################################################################
    1616
    1717AUTOMAKE_OPTIONS = foreign    # do not require all the GNU file names
    18 
    19 include $(top_srcdir)/src/cfa.make
    2018
    2119debug=yes
    … …  
    4745EXTRA_PROGRAMS = fstream_test avl_test # build but do not install
    4846
    49 fstream_test_SOURCES = fstream_test.cfa
     47fstream_test_SOURCES = fstream_test.c
    5048
    5149avl_test_SOURCES = avltree/avl_test.c avltree/avl0.c avltree/avl1.c avltree/avl2.c avltree/avl3.c avltree/avl4.c avltree/avl-private.c
    … …  
    7472
    7573#----------------------------------------------------------------------------------------------------------------
    76 
    7774# implicit rule so not all test require a rule
    7875% : %.c $(CC)
    7976        $(PRETTY_PATH) $(COMPILE) $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    8077
    81 declarationSpecifier: declarationSpecifier.cfa $(CC)
     78declarationSpecifier: declarationSpecifier.c $(CC)
    8279        $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    8380
    84 gccExtensions : gccExtensions.cfa $(CC)
     81gccExtensions : gccExtensions.c $(CC)
    8582        $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    8683
    87 extension : extension.cfa $(CC)
     84extension : extension.c $(CC)
    8885        $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    8986
    90 attributes : attributes.cfa $(CC)
     87attributes : attributes.c $(CC)
    9188        $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    9289
    93 functions: functions.cfa $(CC)
     90functions: functions.c $(CC)
    9491        $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    9592
    96 KRfunctions : KRfunctions.cfa $(CC)
     93KRfunctions : KRfunctions.c $(CC)
    9794        $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    9895
    … …  
    10097        $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    10198
    102 gmp : gmp.cfa $(CC)
     99gmp : gmp.c $(CC)
    103100        $(PRETTY_PATH) $(COMPILE) -lgmp $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    104101
    … …  
    108105
    109106#------------------------------------------------------------------------------
    110 
    111107#To make errors path independent we need to cd into the correct directories
    112 completeTypeError : completeTypeError.cfa $(CC)
     108completeTypeError : completeTypeError.c $(CC)
    113109        $(PRETTY_PATH) $(COMPILE) -DERR1 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    114110
    115 typedefRedef-ERR1: typedefRedef.cfa $(CC)
     111typedefRedef-ERR1: typedefRedef.c $(CC)
    116112        $(PRETTY_PATH) $(COMPILE) -DERR1 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    117113
    118 alloc-ERROR: alloc.cfa $(CC)
     114alloc-ERROR: alloc.c $(CC)
    119115        $(PRETTY_PATH) $(COMPILE) -DERR1 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    120116
    121 fallthrough-ERROR: fallthrough.cfa $(CC)
     117fallthrough-ERROR: fallthrough.c $(CC)
    122118        $(PRETTY_PATH) $(COMPILE) -DERR1 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    123119
    124 nested-types-ERR1: nested-types.cfa $(CC)
     120nested-types-ERR1: nested-types.c $(CC)
    125121        $(PRETTY_PATH) $(COMPILE) -DERR1 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    126122
    127 nested-types-ERR2: nested-types.cfa $(CC)
     123nested-types-ERR2: nested-types.c $(CC)
    128124        $(PRETTY_PATH) $(COMPILE) -DERR2 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    129125

  • tests/Makefile.in

    r909aebf r8e04794  
    168168CTAGS = ctags
    169169am__DIST_COMMON = $(srcdir)/Makefile.in $(srcdir)/config.py.in \
    170         $(srcdir)/test.py $(top_srcdir)/automake/depcomp \
    171         $(top_srcdir)/src/cfa.make
     170        $(srcdir)/test.py $(top_srcdir)/automake/depcomp
    172171DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
    173172ACLOCAL = @ACLOCAL@
    … …  
    298297top_srcdir = @top_srcdir@
    299298AUTOMAKE_OPTIONS = foreign    # do not require all the GNU file names
    300 CFACOMPILE = $(CFACC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CFAFLAGS) $(CFAFLAGS) $(AM_CFLAGS) $(CFLAGS)
    301 AM_V_CFA = $(am__v_CFA_@AM_V@)
    302 am__v_CFA_ = $(am__v_CFA_@AM_DEFAULT_V@)
    303 am__v_CFA_0 = @echo "  CFA     " $@;
    304 am__v_CFA_1 =
    305299debug = yes
    306300installed = no
    … …  
    315309        ${INSTALL_FLAGS} ${ARCH_FLAGS}
    316310PRETTY_PATH = cd ${srcdir} &&
    317 fstream_test_SOURCES = fstream_test.cfa
     311fstream_test_SOURCES = fstream_test.c
    318312avl_test_SOURCES = avltree/avl_test.c avltree/avl0.c avltree/avl1.c avltree/avl2.c avltree/avl3.c avltree/avl4.c avltree/avl-private.c
    319313all: all-am
    320314
    321315.SUFFIXES:
    322 .SUFFIXES: .c .cfa .o .obj .validate
    323 $(srcdir)/Makefile.in:  $(srcdir)/Makefile.am $(top_srcdir)/src/cfa.make $(am__configure_deps)
     316.SUFFIXES: .c .o .obj .validate
     317$(srcdir)/Makefile.in:  $(srcdir)/Makefile.am $(am__configure_deps)
    324318        @for dep in $?; do \
    325319          case '$(am__configure_deps)' in \
    … …  
    341335            cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \
    342336        esac;
    343 $(top_srcdir)/src/cfa.make $(am__empty):
    344337
    345338$(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES)
    … …  
    389382        -rm -f *.tab.c
    390383
     384@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/fstream_test.Po@am__quote@
    391385@AMDEP_TRUE@@am__include@ @am__quote@avltree/$(DEPDIR)/avl-private.Po@am__quote@
    392386@AMDEP_TRUE@@am__include@ @am__quote@avltree/$(DEPDIR)/avl0.Po@am__quote@
    … …  
    536530
    537531distclean: distclean-am
    538         -rm -rf avltree/$(DEPDIR)
     532        -rm -rf ./$(DEPDIR) avltree/$(DEPDIR)
    539533        -rm -f Makefile
    540534distclean-am: clean-am distclean-compile distclean-generic \
    … …  
    582576
    583577maintainer-clean: maintainer-clean-am
    584         -rm -rf avltree/$(DEPDIR)
     578        -rm -rf ./$(DEPDIR) avltree/$(DEPDIR)
    585579        -rm -f Makefile
    586580maintainer-clean-am: distclean-am maintainer-clean-generic
    … …  
    618612
    619613
    620 .cfa.o:
    621         $(AM_V_CFA)depbase=`echo $@ | sed 's|[^/]*$$|$(DEPDIR)/&|;s|\.o$$||'`;\
    622         $(CFACOMPILE) -MT $@ -MD -MP -MF $$depbase.Tpo -c -o $@ $< &&\
    623         $(am__mv) $$depbase.Tpo $$depbase.Po
    624 
    625614.PHONY: list .validate
    626615.INTERMEDIATE: .validate .validate.c
    … …  
    649638
    650639#----------------------------------------------------------------------------------------------------------------
    651 
    652640# implicit rule so not all test require a rule
    653641% : %.c $(CC)
    654642        $(PRETTY_PATH) $(COMPILE) $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    655643
    656 declarationSpecifier: declarationSpecifier.cfa $(CC)
     644declarationSpecifier: declarationSpecifier.c $(CC)
    657645        $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    658646
    659 gccExtensions : gccExtensions.cfa $(CC)
     647gccExtensions : gccExtensions.c $(CC)
    660648        $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    661649
    662 extension : extension.cfa $(CC)
     650extension : extension.c $(CC)
    663651        $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    664652
    665 attributes : attributes.cfa $(CC)
     653attributes : attributes.c $(CC)
    666654        $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    667655
    668 functions: functions.cfa $(CC)
     656functions: functions.c $(CC)
    669657        $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    670658
    671 KRfunctions : KRfunctions.cfa $(CC)
     659KRfunctions : KRfunctions.c $(CC)
    672660        $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    673661
    … …  
    675663        $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    676664
    677 gmp : gmp.cfa $(CC)
     665gmp : gmp.c $(CC)
    678666        $(PRETTY_PATH) $(COMPILE) -lgmp $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    679667
    … …  
    683671
    684672#------------------------------------------------------------------------------
    685 
    686673#To make errors path independent we need to cd into the correct directories
    687 completeTypeError : completeTypeError.cfa $(CC)
     674completeTypeError : completeTypeError.c $(CC)
    688675        $(PRETTY_PATH) $(COMPILE) -DERR1 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    689676
    690 typedefRedef-ERR1: typedefRedef.cfa $(CC)
     677typedefRedef-ERR1: typedefRedef.c $(CC)
    691678        $(PRETTY_PATH) $(COMPILE) -DERR1 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    692679
    693 alloc-ERROR: alloc.cfa $(CC)
     680alloc-ERROR: alloc.c $(CC)
    694681        $(PRETTY_PATH) $(COMPILE) -DERR1 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    695682
    696 fallthrough-ERROR: fallthrough.cfa $(CC)
     683fallthrough-ERROR: fallthrough.c $(CC)
    697684        $(PRETTY_PATH) $(COMPILE) -DERR1 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    698685
    699 nested-types-ERR1: nested-types.cfa $(CC)
     686nested-types-ERR1: nested-types.c $(CC)
    700687        $(PRETTY_PATH) $(COMPILE) -DERR1 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    701688
    702 nested-types-ERR2: nested-types.cfa $(CC)
     689nested-types-ERR2: nested-types.c $(CC)
    703690        $(PRETTY_PATH) $(COMPILE) -DERR2 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
    704691

  • tests/concurrent/coroutineYield.c

    r909aebf r8e04794  
    66
    77#define __kick_rate 150000ul
    8 #include "long_tests.hfa"
     8#include "long_tests.h"
    99
    1010#ifndef PREEMPTION_RATE

  • tests/concurrent/examples/matrixSum.c

    r909aebf r8e04794  
    66// file "LICENCE" distributed with Cforall.
    77//
    8 // matrixSum.cfa --
     8// matrixSum.c --
    99//
    1010// Author           : Peter A. Buhr
    1111// Created On       : Mon Oct  9 08:29:28 2017
    1212// Last Modified By : Peter A. Buhr
    13 // Last Modified On : Tue Nov  6 17:51:32 2018
    14 // Update Count     : 14
     13// Last Modified On : Thu Aug  9 09:17:30 2018
     14// Update Count     : 13
    1515//
    1616
    … …  
    5959// Local Variables: //
    6060// tab-width: 4 //
    61 // compile-command: "cfa matrixSum.cfa" //
     61// compile-command: "cfa matrixSum.c" //
    6262// End: //

  • tests/concurrent/preempt.c

    r909aebf r8e04794  
    33#include <time.hfa>
    44
    5 #include "long_tests.hfa"
     5#include "long_tests.h"
    66
    77#ifndef PREEMPTION_RATE

  • tests/concurrent/signal/block.c

    r909aebf r8e04794  
    1414#include <time.hfa>
    1515
    16 #include "long_tests.hfa"
     16#include "long_tests.h"
    1717
    1818#ifndef PREEMPTION_RATE

  • tests/concurrent/signal/disjoint.c

    r909aebf r8e04794  
    55#include <time.hfa>
    66
    7 #include "long_tests.hfa"
     7#include "long_tests.h"
    88
    99#ifndef PREEMPTION_RATE

  • tests/concurrent/signal/wait.c

    r909aebf r8e04794  
    1313
    1414#define __kick_rate 12000ul
    15 #include "long_tests.hfa"
     15#include "long_tests.h"
    1616
    1717#ifndef PREEMPTION_RATE

  • tests/preempt_longrun/create.c

    r909aebf r8e04794  
    33#include <time.hfa>
    44
    5 #include "long_tests.hfa"
     5#include "long_tests.h"
    66
    77#ifndef PREEMPTION_RATE

  • tests/preempt_longrun/enter3.c

    r909aebf r8e04794  
    55
    66#define __kick_rate 75000ul
    7 #include "long_tests.hfa"
     7#include "long_tests.h"
    88
    99#ifndef PREEMPTION_RATE

  • tests/preempt_longrun/processor.c

    r909aebf r8e04794  
    55#include <unistd.h>
    66
    7 #include "long_tests.hfa"
     7#include "long_tests.h"
    88
    99#ifndef PREEMPTION_RATE

  • tests/preempt_longrun/yield.c

    r909aebf r8e04794  
    44
    55#define __kick_rate 550000ul
    6 #include "long_tests.hfa"
     6#include "long_tests.h"
    77
    88#ifndef PREEMPTION_RATE
Note: See TracChangeset for help on using the changeset viewer.