C++: support clang's __builtin_convertvector

2025-12-21 03:06:31 +01:00 · 2018-09-11 14:38:43 +01:00
parent 7db2589aae
commit 0957ee7c1b
5 changed files with 17 additions and 0 deletions
--- a/cpp/ql/src/semmlecode.cpp.dbscheme
+++ b/cpp/ql/src/semmlecode.cpp.dbscheme
@@ -1431,6 +1431,7 @@ case @expr.kind of
 | 321 = @builtinchooseexpr
 | 322 = @builtinaddressof
 | 323 = @vec_fill
+| 324 = @builtinconvertvector
 ;

 new_allocated_type(