summaryrefslogtreecommitdiffstats
path: root/tests/bugs/extension-lifetime.slang
blob: 6179ddbbb703f8f638c3fddb791907ca90020645 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
// extension-lifetime.slang

// This test is a regresion test for a bug where `extension`
// declarations are incorrectly being cached on the declarations
// they extend, so that an extension of a core module type (like `float`)
// ends up attaching a declaration from one compile request to that
// type, and then later compile requests that use the core module type
// try to look up through that extension even though (1) that
// shouldn't make sense semantically, and (2) that extension will
// have been deallocated when its parent compile request was
// destroyed.
//
// This test relies on the fact that our test runner uses a single
// slang compilation session (which loads the core module code) across
// multiple compilation tests. We can thus make this file contain
// two identical tests, with the knowledge that the second one
// will lead to the bad/crashing behavior if the first one ran
// and did a Bad Thing.

//TEST:SIMPLE:
//TEST:SIMPLE:

interface IThing
{
	float getThing();
}

extension float : IThing
{
	float getThing() { return this; }
}

float getThing<T : IThing>(T value)
{
	return value.getThing();
}

float test( float value )
{
	return getThing(value);
}