Custom Query (145 matches)

Changed this ticket completely as it has nothing to do with monitors, threads or waitfor statements:

The following code :

typedef void (*fptr_t)();
typedef * [void] ( [int, int] m ) foo_t;

struct Test{};
void ?{}(Test & this, int, fptr_t func);

[void] foo([int, int] m ) {
	Test test = {2, (fptr_t)(foo_t) foo};
}

produces :

bug107-2.cfa:17:1 error: Managed object's initializer is too deep test: instance of struct Test with body 1 with initializer (maybe constructed)
  Compound initializer: 
    Simple Initializer: constant expression (2 2: signed int)
    Simple Initializer: Cast of:
      Cast of:
        Name: foo
      ... to:
        pointer to function
        ... with parameters
          m: tuple of types
            signed int
            signed int

        ... returning nothing

    ... to:
      pointer to function
        accepting unspecified arguments
      ... returning nothing

#include <fstream.hfa>
#include <thread.hfa>

thread Gortn {
};
void mem1( Gortn & mutex gortn ) {}
void main( Gortn & gortn ) with( gortn ) {
    for ( ;; ) {
	waitfor( mem1, gortn ) sout | nl;
    }
}

Missing compound around waitfor post statement.

cfa test1.c
CFA Version 1.0.0 (debug)
test1.c: In function '_X4mainFv_S5Gortn__1':
test1.c:10:29: error: a label can only be part of a statement and a declaration is not a statement
     }
                             ^            
test1.c:10:100: error: expected '=', ',', ';', 'asm' or '__attribute__' before '{' token
     }
                                                                                                    ^
test1.c:9:2403: error: '_thunk1' undeclared (first use in this function)
  waitfor( mem1, gortn ) sout | endl;

This code crashes the compiler :

forall (otype T) {
	struct ImVector {
		T* Data;
	};

	static inline void clear( ImVector(T) & this);
}

struct ImGuiStorage {
	struct Pair	{
		union { int val_i; float val_f; void* val_p; };
	};
    	ImVector(Pair) Data;
};

void Clear(ImGuiStorage & this) { clear(this.Data); }