aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
diff options
authorChristopher Li <sparse@chrisli.org>2012-06-21 02:46:53 -0700
committerChristopher Li <sparse@chrisli.org>2012-06-21 02:46:53 -0700
commit70c5b9619f9f3d4a33af043d019a073a4dc6e470 (patch)
treeae7b6b0dbcd45b260b91aef8fa6837b34ff0858c /validation
parent64a6b4c61faa23c40a402656d044141a669965a3 (diff)
parentccf42dc22ef4354ef6db1673a5e2b2bc0a6be273 (diff)
downloadsparse-dev-70c5b9619f9f3d4a33af043d019a073a4dc6e470.tar.gz
Merge branch 'for-chris' of git://github.com/penberg/sparse-llvm
Pull 'for-chris' tree from Pekka Enberg: "Please pull the latest sparse-llvm tree from: git@github.com:penberg/sparse-llvm.git for-chris It has one new validation test case and fixes to handle strings properly in the LLVM backend." Pekka Enberg (4): sparse, llvm: Add _Bool to cast validation test sparse, llvm: Simplify output_data() type logic sparse, llvm: Fix string initializer code generation sparse, llvm: Fix global string access code generation
Diffstat (limited to 'validation')
-rw-r--r--validation/backend/cast.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/validation/backend/cast.c b/validation/backend/cast.c
index 3e677446..598b16aa 100644
--- a/validation/backend/cast.c
+++ b/validation/backend/cast.c
@@ -1,3 +1,4 @@
+typedef _Bool bool;
typedef unsigned char uchar;
typedef unsigned short ushort;
typedef unsigned int uint;
@@ -11,6 +12,7 @@ typedef unsigned long long ulonglong;
}
#define DEFINE_CASTS(from) \
+ DEFINE_CAST(from, bool) \
DEFINE_CAST(from, char) \
DEFINE_CAST(from, uchar) \
DEFINE_CAST(from, short) \
@@ -26,6 +28,7 @@ typedef unsigned long long ulonglong;
DEFINE_CAST(from, double)
*/
+DEFINE_CASTS(bool)
DEFINE_CASTS(char)
DEFINE_CASTS(uchar)
DEFINE_CASTS(short)