heavyai / heavydb

HeavyDB (formerly OmniSciDB)
https://heavy.ai
Apache License 2.0
2.93k stars 445 forks source link

Large array in SQL crashes server #409

Open SwimmingTiger opened 4 years ago

SwimmingTiger commented 4 years ago

When I run a SELECT statement with 551 elements in parentheses, omnisci_server crashes.

create table test(a bigint);
SELECT COUNT(*) FROM test WHERE a NOT IN (-9212201664208840925, -9191564153362513115, -9178479508757253918, -9177935854403842789, -9172841025551745399, -9166775625211912014, -9165434739504659648, -9161792497399356121, -9156520981793486621, -9155118040680513612, -9151176946846667601, -9145793056088237936, -9145490632210023836, -9145282390243138726, -9143384871166324233, -9115300986012666242, -9106749313503978333, -9106185438912751866, -9101128227849394176, -9095345997286324520, -9090348116010588853, -9081559881215067532, -9079080424763252232, -9072930493743735165, -9053057151353400678, -9049940349615451776, -9041924847615601285, -9032073712197657956, -9029064495345873476, -9023791628853327694, -9019453666377783770, -9005933867747345138, -9001351158788327232, -8993057294518003319, -8975748184633877179, -8972267905996607479, -8971034402502450286, -8969521139291471102, -8968980710110684909, -8967519786879812364, -8964400370528887939, -8962374042341398025, -8959919373617423946, -8957978774085744937, -8955712524438497609, -8950551351052604500, -8948357976516145420, -8943575116332201373, -8939305650449342008, -8906775018233867795, -8902917236959705936, -8899560860851610197, -8896581145926276247, -8880513068658657096, -8875260665417372046, -8873815198015070477, -8870268228994717511, -8865960746105561760, -8850042310724502091, -8819318325798362263, -8815598538842299982, -8802025004561424733, -8794723557512728528, -8794402914656604312, -8781981611277979262, -8773375625098437689, -8770126622132176697, -8759196095723850681, -8758550224648903344, -8755173025951707141, -8750913107882904299, -8728767881846934283, -8150256248733177840, -8132125772998859589, -8128933019826072116, -8126399015340455746, -8119471036194225929, -8116798880963791918, -8114381826309169011, -8113144858627124367, -8110384671604806093, -8109266154556458032, -8100953697117575777, -8093679474401816059, -8084929060533973603, -8076988067205796370, -8073563283788094141, -8071290135926877587, -8070285061745610643, -8060575701737769053, -8059285272618165238, -8052460895676627721, -8051564392999271742, -8034885796016177415, -8018152916981628427, -8017776133853093010, -7994819186437183195, -7988868764710834584, -7986392534447956444, -7984694315368052106, -7979178705933388813, -7977233207643361279, -7964677073722817154, -7962025652783009185, -7959094112693306616, -7954943285010565779, -7934887734070949545, -7922325108840206609, -7914450874219390767, -7903805627477405091, -7899850434539500175, -7895731999781033763, -7891876932256704744, -7876861976876647377, -7870149392851966063, -7868458136657064531, -7862081374792227828, -7858607734148556761, -7850773679248412425, -7850035195003250229, -7838934840200410551, -7829178787022634845, -7809413668394042741, -7804429770011292008, -7790871352771666075, -7783282474380157651, -7782773085013375404, -7773906790559061469, -7773655266305408607, -7770284849213607849, -7766459058490653716, -7758753231176450312, -7755789023168162239, -7754617528710517884, -7748664272712896579, -7748125538328649627, -7745621501924154519, -7744803628957101277, -7742249505920219491, -7741702994680807603, -7737426104349993611, -7733149322730309781, -7712290520082477738, -7704312940272384012, -7702183196709179802, -7701929682876560030, -7697528316327630016, -7693140197902679118, -7688368050957084820, -7687443823598208561, -7684293027759503847, -7678260645712400348, -7674505108542160893, -7670976472376597822, -7669660223371308935, -7668924539022324392, -7665894836921991059, -7636042663829534481, -7634807995406971171, -7633386831489306289, -7627783239361253661, -7616112692258807320, -7608660654773614406, -7606980803295185766, -7601486670733624029, -7591308631294996988, -7580811494489834825, -7567946183893229602, -7563909507043020901, -7561370532074215002, -7547123036588175283, -7546932447791785219, -7534764177503979478, -7530611266067012527, -7530184571683291131, -7530072358222206403, -7512820273220018749, -7510582330043032086, -7503225317123062723, -7500559394609399390, -7496688608263371809, -7488028755936495497, -7458316926385268282, -7444708990336749421, -7427947679592825606, -7425093840239836401, -7421651441593433886, -7419868894999529039, -7419674153659305038, -7411050448994873016, -7404205217482409538, -7385442954787487102, -7380894881230504197, -7379445571296033950, -7378728870868795786, -7377957928354350734, -7375619134375872572, -7358984295519262199, -7346812937898557816, -7344659518445719067, -7333916321778382259, -7330091019476428652, -7325014053061257823, -7319173459702675777, -7313782551394715797, -7311883491470329053, -7306502706952939765, -7306183864443628995, -7299142418965106426, -7281140570651416812, -7280829195558691615, -7269919143509888314, -7259847470380164075, -7258163629049372060, -7256074771595431284, -7245443869905476163, -7235745430579002641, -7232793009172125416, -7211676915408478825, -7206449557351679163, -7205950992824254444, -7200396191650444477, -7199897082270983482, -7199659350859506794, -7192171210820273326, -7183499259291477800, -7177001860908748101, -7176491194366804230, -7170999827266375395, -7132944032991519767, -7117131507335937126, -7112929871718744598, -7110103606250526808, -7100559833393629914, -7081393193889638099, -7078040036296796225, -7070046073663960153, -7066177253427464014, -7035161030367301954, -7031723658925115834, -6998901930134201025, -6971301347512484244, -6968327228786445422, -6953940103240601848, -6934864476257730617, -6929641622258598540, -6922902266471795968, -6921316160655097551, -6911662113638781294, -6908444573489654033, -6904328265947541183, -6904155954097732529, -6893447074336674677, -6889096373873051429, -6880772749668517079, -6877497320709357465, -6872804400842419490, -6870647164785807986, -6865842001177524481, -6864001411673316502, -6862761981750154346, -6862478796309948566, -6848827121490929373, -6844037443835358377, -6837060258519518037, -6810855160229560773, -6806545382893453302, -6798363077545055859, -6795664531652559775, -6786287156533292365, -6785212960551252045, -6768158015658868935, -6765421828862573503, -6761450670221039939, -6756660070771919033, -6750792705412385721, -6749419175662457945, -6743101381617809462, -6738692240166737009, -6726497452212728641, -6724463736010229077, -6723867063681528468, -6723204820158896333, -6715895972065955459, -6693054959340850475, -6691650391916192056, -6663725570232053768, -6661952621669759840, -6638672574241620355, -6634371960442334948, -6624641470960699994, -6622332966706762203, -6620438064489369157, -6615372596358719799, -6614273645887013198, -6606963490105404366, -6605107458852669769, -6578659015655903666, -6572835258908740658, -6570775898769487816, -6570673311442041176, -6559494776574225272, -6532768231458322186, -6517058543030401011, -6510087882791149563, -6499165851830480764, -6481309339879949152, -6473328642108125357, -6470165263082158221, -6460146613625693125, -6452238114078190713, -6450245116916935372, -6449880733444202624, -6447846892348510093, -6444877778979479735, -6443794414016594245, -6442616722999823252, -6438624809814281877, -6428275531088175535, -6426796491927510507, -6423894050959894116, -6422358885212283079, -6391018510608648675, -6390517851730573656, -6384936136687199585, -6383470095875173618, -6364101918112246133, -6354861430254778498, -6330605241476709862, -6327690575184542464, -6311583362592611366, -6309144452878660269, -527764873195784754, -523344085725505055, -512018134494219703, -510636220661821480, -503918412864205431, -502805638067355078, -500754249292584539, -491450947349599319, -489098802367700833, -488974371734771195, -488599321648563392, -480613344835969468, -479248866907533683, -465968962270392845, -464800290799950628, -449871063093816208, -449775455639701716, -448239111250264472, -444152768831074299, -442838402835852501, -437999849009016110, -428134177612591537, -424172533129008735, -418697898744685930, -395140648091879651, -389231918345704179, -381245856349328743, -372488357912912982, -363996014391935469, -352985505723400120, -352103882138393651, -345529836692044771, -340654129345285071, -336182149273111378, -323206285830346441, -322669891903378396, -321699406683911361, -321550749374200373, -311879510077125477, -310642192242801436, -302204575562944633, -298156759737686628, -287397706499341459, -287024305110476844, -285887269528455789, -269653887319946724, -267599385127140626, -265990818535939624, -261641697233966722, -247889727929767113, -240477702726262565, -223184801949476473, -222766049477565302, -179034344794818684, -173101828578260396, -155987809598940209, -137404495253282359, -130277575435471655, -125236981553928678, -122559244966195789, -117846820299587005, -117706774714714740, -108770922951343175, -103555215974688154, -100010389465413115, -87642787653814413, -86175276713207218, -85550282713314669, -84839053132568715, -75759715143642793, -70471047571346776, -69179630591936981, -67779628802949057, -63778182144646532, -63140131524079236, -59215469559089960, -43474261301686851, -37895838074403689, -37502935844522702, -20111009947874525, 3295297386747944, 9724836524665955, 15023676573606654, 22084342364920453, 40401823998273731, 47965219120131327, 50356679787275533, 51284212484172187, 57658389952641082, 70528940988397084, 79270351193651441, 85538608536109361, 87157837950802898, 90844805004022513, 100910109483704875, 102162544037978027, 109131712532341059, 134627002929579860, 137279413320150668, 231203363829631156, 237824399119786159, 272266542903607192, 278252517996230477, 279310901469552218, 279589351360908828, 284404041498929355, 304513932080002471, 305041812451837156, 308205748426315397, 316240655022883709, 328818114549764076, 332556581722002665, 336158274015799252, 339836024371415698, 354263084080494500, 370165542012969061, 370252264757276558, 371478040692172409, 380741856435227244, 396603811567338044, 406220912425943229, 409568861167648871, 414167616487930524, 421246671704557144, 433712905551146347, 438232776026443358, 443912193800243411, 447062672518823052, 447556833881673679, 508848695844886271, 518951766581214335, 520569536705484516, 521609047399277675, 522405807949134984, 525170680328467219, 528666807073202444, 535799654417615514, 539259023999629569, 544627118626512685, 799857727162373868, 801040043118742159, 801367650180537660, 809026649995715761, 812240560613624281, 823592059164862167, 824385909038306295, 825490311618039958, 834312978103556125, 834901863829024552, 847876214630953091, 856299685476472281, 857398248791227360, 857948666199734716, 867048257896603201, 867193398644745214, 867565136587034555, 884468651931649497, 892102364779514087, 898828670197501334, 911846567465579925, 914953786852016262, 915808597421389187, 916923697561663751, 919463083979985790, 920444682319923322, 927135011392522121, 931208391058361051, 933438556628337581, 940085848645590147, 943952907585295332, 948020991448833948, 957113193166213972, 958514057156190360, 971488348603194876, 986980114477960174, 989571473870949310, 994435480663061990, 999409086260155485, 1017839394505940575, 8915030484824904134, 8916418992819958175, 8928211782252854662, 8942065482486583840, 8944774731279865244, 8956125903016145267, 8965641748428583798, 8968218578560770616, 8986158215108854275, 8998001539302095189, 9008241246736858685, 9010610847852638090, 9027549230884399333, 9027975441738581935, 9033639950189353104, 9037056465613512832, 9063575083759952321, 9069395439763794780, 9079768500718942884, 9081630790670271621, 9082753911086518012, 9091019960429048010, 9099173198527214194, 9114557909553067108, 9119452257251856113, 9119667562869888599, 9124415961270793343, 9127856817992310683, 9133187933760717688, 9137199091166212461, 9143183145309367271, 9144390549365599883, 9148236431594859980, 9163094959754965808, 9164642532137192278, 9175066069493100476, 9194448223016382101, 9203320043215549293, 9205342544982975073, 1);

systemd logs:

OCT 04 01:54:38 hu60ubuntu omnisci_server[23617]: WARNING: An illegal reflective access operation has occurred
OCT 04 01:54:38 hu60ubuntu omnisci_server[23617]: WARNING: Illegal reflective access by com.google.protobuf.UnsafeUtil (file:/opt/omnisci/bin/calcite-1.0-SNAPSHOT-jar-with-dependencies.jar) to field java.nio.Buffer.address
OCT 04 01:54:38 hu60ubuntu omnisci_server[23617]: WARNING: Please consider reporting this to the maintainers of com.google.protobuf.UnsafeUtil
OCT 04 01:54:38 hu60ubuntu omnisci_server[23617]: WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations
OCT 04 01:54:38 hu60ubuntu omnisci_server[23617]: WARNING: All illegal access operations will be denied in a future release
OCT 04 01:54:39 hu60ubuntu systemd[1]: omnisci_server.service: Main process exited, code=killed, status=11/SEGV
OCT 04 01:54:40 hu60ubuntu systemd[1]: omnisci_server.service: Failed with result 'signal'.
OCT 04 01:54:40 hu60ubuntu systemd[1]: omnisci_server.service: Service hold-off time over, scheduling restart.
OCT 04 01:54:40 hu60ubuntu systemd[1]: omnisci_server.service: Scheduled restart job, restart counter is at 32.
OCT 04 01:54:40 hu60ubuntu systemd[1]: Stopped OmniSci database server.
OCT 04 01:54:40 hu60ubuntu systemd[1]: Started OmniSci database server.

I have Ubuntu 18.04 and install omnisci with this guide: https://www.omnisci.com/platform/downloads/OS-installation-recipes?compute_mode=gpucpu&environment=linuxubuntu&architecture=x86_64&install_mode=apt

I have tried to build the current master branch myself, it has the same issue.

Removing any value in parentheses will return the query results normally. This seems to be a buffer overflow issue.

Note: If the problem cannot be reproduced, you can continue to increase the number of elements. My original SQL has 2500 elements in parentheses (the query was generated by a program and I can't change it).

SwimmingTiger commented 4 years ago

Repro code in java:

package test;

import java.sql.Connection;
import java.sql.DriverManager;
import java.sql.ResultSet;
import java.sql.SQLException;
import java.sql.Statement;
import java.util.Properties;

public class SampleJDBC {
  // JDBC driver name and database URL
  static final String JDBC_DRIVER = "com.omnisci.jdbc.OmniSciDriver";
  static final String DB_URL = "jdbc:omnisci:127.0.0.1:6274:omnisci";

  // Connection protocol http|https|binary
  static final String PROTOCOL = "binary";

  //  Database credentials
  static final String USER = "admin";
  static final String PASS = "HyperInteractive";

  public static void main(String[] args) {
    Connection conn = null;
    Statement stmt = null;
    try {
      // STEP 1: Register JDBC driver
      Class.forName(JDBC_DRIVER);

      // STEP 2: Open a connection
      Properties pt = new Properties();
      pt.setProperty("user", USER);
      pt.setProperty("password", PASS);
      pt.setProperty("protocol", PROTOCOL);
      conn = DriverManager.getConnection(DB_URL, pt);

      // STEP 3: Execute a query
      stmt = conn.createStatement();

      stmt.execute("create table if not exists test(a bigint);");

      String sql = "SELECT COUNT(*) as c FROM test WHERE a NOT IN (-9212201664208840925, -9191564153362513115, -9178479508757253918, -9177935854403842789, -9172841025551745399, -9166775625211912014, -9165434739504659648, -9161792497399356121, -9156520981793486621, -9155118040680513612, -9151176946846667601, -9145793056088237936, -9145490632210023836, -9145282390243138726, -9143384871166324233, -9115300986012666242, -9106749313503978333, -9106185438912751866, -9101128227849394176, -9095345997286324520, -9090348116010588853, -9081559881215067532, -9079080424763252232, -9072930493743735165, -9053057151353400678, -9049940349615451776, -9041924847615601285, -9032073712197657956, -9029064495345873476, -9023791628853327694, -9019453666377783770, -9005933867747345138, -9001351158788327232, -8993057294518003319, -8975748184633877179, -8972267905996607479, -8971034402502450286, -8969521139291471102, -8968980710110684909, -8967519786879812364, -8964400370528887939, -8962374042341398025, -8959919373617423946, -8957978774085744937, -8955712524438497609, -8950551351052604500, -8948357976516145420, -8943575116332201373, -8939305650449342008, -8906775018233867795, -8902917236959705936, -8899560860851610197, -8896581145926276247, -8880513068658657096, -8875260665417372046, -8873815198015070477, -8870268228994717511, -8865960746105561760, -8850042310724502091, -8819318325798362263, -8815598538842299982, -8802025004561424733, -8794723557512728528, -8794402914656604312, -8781981611277979262, -8773375625098437689, -8770126622132176697, -8759196095723850681, -8758550224648903344, -8755173025951707141, -8750913107882904299, -8728767881846934283, -8150256248733177840, -8132125772998859589, -8128933019826072116, -8126399015340455746, -8119471036194225929, -8116798880963791918, -8114381826309169011, -8113144858627124367, -8110384671604806093, -8109266154556458032, -8100953697117575777, -8093679474401816059, -8084929060533973603, -8076988067205796370, -8073563283788094141, -8071290135926877587, -8070285061745610643, -8060575701737769053, -8059285272618165238, -8052460895676627721, -8051564392999271742, -8034885796016177415, -8018152916981628427, -8017776133853093010, -7994819186437183195, -7988868764710834584, -7986392534447956444, -7984694315368052106, -7979178705933388813, -7977233207643361279, -7964677073722817154, -7962025652783009185, -7959094112693306616, -7954943285010565779, -7934887734070949545, -7922325108840206609, -7914450874219390767, -7903805627477405091, -7899850434539500175, -7895731999781033763, -7891876932256704744, -7876861976876647377, -7870149392851966063, -7868458136657064531, -7862081374792227828, -7858607734148556761, -7850773679248412425, -7850035195003250229, -7838934840200410551, -7829178787022634845, -7809413668394042741, -7804429770011292008, -7790871352771666075, -7783282474380157651, -7782773085013375404, -7773906790559061469, -7773655266305408607, -7770284849213607849, -7766459058490653716, -7758753231176450312, -7755789023168162239, -7754617528710517884, -7748664272712896579, -7748125538328649627, -7745621501924154519, -7744803628957101277, -7742249505920219491, -7741702994680807603, -7737426104349993611, -7733149322730309781, -7712290520082477738, -7704312940272384012, -7702183196709179802, -7701929682876560030, -7697528316327630016, -7693140197902679118, -7688368050957084820, -7687443823598208561, -7684293027759503847, -7678260645712400348, -7674505108542160893, -7670976472376597822, -7669660223371308935, -7668924539022324392, -7665894836921991059, -7636042663829534481, -7634807995406971171, -7633386831489306289, -7627783239361253661, -7616112692258807320, -7608660654773614406, -7606980803295185766, -7601486670733624029, -7591308631294996988, -7580811494489834825, -7567946183893229602, -7563909507043020901, -7561370532074215002, -7547123036588175283, -7546932447791785219, -7534764177503979478, -7530611266067012527, -7530184571683291131, -7530072358222206403, -7512820273220018749, -7510582330043032086, -7503225317123062723, -7500559394609399390, -7496688608263371809, -7488028755936495497, -7458316926385268282, -7444708990336749421, -7427947679592825606, -7425093840239836401, -7421651441593433886, -7419868894999529039, -7419674153659305038, -7411050448994873016, -7404205217482409538, -7385442954787487102, -7380894881230504197, -7379445571296033950, -7378728870868795786, -7377957928354350734, -7375619134375872572, -7358984295519262199, -7346812937898557816, -7344659518445719067, -7333916321778382259, -7330091019476428652, -7325014053061257823, -7319173459702675777, -7313782551394715797, -7311883491470329053, -7306502706952939765, -7306183864443628995, -7299142418965106426, -7281140570651416812, -7280829195558691615, -7269919143509888314, -7259847470380164075, -7258163629049372060, -7256074771595431284, -7245443869905476163, -7235745430579002641, -7232793009172125416, -7211676915408478825, -7206449557351679163, -7205950992824254444, -7200396191650444477, -7199897082270983482, -7199659350859506794, -7192171210820273326, -7183499259291477800, -7177001860908748101, -7176491194366804230, -7170999827266375395, -7132944032991519767, -7117131507335937126, -7112929871718744598, -7110103606250526808, -7100559833393629914, -7081393193889638099, -7078040036296796225, -7070046073663960153, -7066177253427464014, -7035161030367301954, -7031723658925115834, -6998901930134201025, -6971301347512484244, -6968327228786445422, -6953940103240601848, -6934864476257730617, -6929641622258598540, -6922902266471795968, -6921316160655097551, -6911662113638781294, -6908444573489654033, -6904328265947541183, -6904155954097732529, -6893447074336674677, -6889096373873051429, -6880772749668517079, -6877497320709357465, -6872804400842419490, -6870647164785807986, -6865842001177524481, -6864001411673316502, -6862761981750154346, -6862478796309948566, -6848827121490929373, -6844037443835358377, -6837060258519518037, -6810855160229560773, -6806545382893453302, -6798363077545055859, -6795664531652559775, -6786287156533292365, -6785212960551252045, -6768158015658868935, -6765421828862573503, -6761450670221039939, -6756660070771919033, -6750792705412385721, -6749419175662457945, -6743101381617809462, -6738692240166737009, -6726497452212728641, -6724463736010229077, -6723867063681528468, -6723204820158896333, -6715895972065955459, -6693054959340850475, -6691650391916192056, -6663725570232053768, -6661952621669759840, -6638672574241620355, -6634371960442334948, -6624641470960699994, -6622332966706762203, -6620438064489369157, -6615372596358719799, -6614273645887013198, -6606963490105404366, -6605107458852669769, -6578659015655903666, -6572835258908740658, -6570775898769487816, -6570673311442041176, -6559494776574225272, -6532768231458322186, -6517058543030401011, -6510087882791149563, -6499165851830480764, -6481309339879949152, -6473328642108125357, -6470165263082158221, -6460146613625693125, -6452238114078190713, -6450245116916935372, -6449880733444202624, -6447846892348510093, -6444877778979479735, -6443794414016594245, -6442616722999823252, -6438624809814281877, -6428275531088175535, -6426796491927510507, -6423894050959894116, -6422358885212283079, -6391018510608648675, -6390517851730573656, -6384936136687199585, -6383470095875173618, -6364101918112246133, -6354861430254778498, -6330605241476709862, -6327690575184542464, -6311583362592611366, -6309144452878660269, -527764873195784754, -523344085725505055, -512018134494219703, -510636220661821480, -503918412864205431, -502805638067355078, -500754249292584539, -491450947349599319, -489098802367700833, -488974371734771195, -488599321648563392, -480613344835969468, -479248866907533683, -465968962270392845, -464800290799950628, -449871063093816208, -449775455639701716, -448239111250264472, -444152768831074299, -442838402835852501, -437999849009016110, -428134177612591537, -424172533129008735, -418697898744685930, -395140648091879651, -389231918345704179, -381245856349328743, -372488357912912982, -363996014391935469, -352985505723400120, -352103882138393651, -345529836692044771, -340654129345285071, -336182149273111378, -323206285830346441, -322669891903378396, -321699406683911361, -321550749374200373, -311879510077125477, -310642192242801436, -302204575562944633, -298156759737686628, -287397706499341459, -287024305110476844, -285887269528455789, -269653887319946724, -267599385127140626, -265990818535939624, -261641697233966722, -247889727929767113, -240477702726262565, -223184801949476473, -222766049477565302, -179034344794818684, -173101828578260396, -155987809598940209, -137404495253282359, -130277575435471655, -125236981553928678, -122559244966195789, -117846820299587005, -117706774714714740, -108770922951343175, -103555215974688154, -100010389465413115, -87642787653814413, -86175276713207218, -85550282713314669, -84839053132568715, -75759715143642793, -70471047571346776, -69179630591936981, -67779628802949057, -63778182144646532, -63140131524079236, -59215469559089960, -43474261301686851, -37895838074403689, -37502935844522702, -20111009947874525, 3295297386747944, 9724836524665955, 15023676573606654, 22084342364920453, 40401823998273731, 47965219120131327, 50356679787275533, 51284212484172187, 57658389952641082, 70528940988397084, 79270351193651441, 85538608536109361, 87157837950802898, 90844805004022513, 100910109483704875, 102162544037978027, 109131712532341059, 134627002929579860, 137279413320150668, 231203363829631156, 237824399119786159, 272266542903607192, 278252517996230477, 279310901469552218, 279589351360908828, 284404041498929355, 304513932080002471, 305041812451837156, 308205748426315397, 316240655022883709, 328818114549764076, 332556581722002665, 336158274015799252, 339836024371415698, 354263084080494500, 370165542012969061, 370252264757276558, 371478040692172409, 380741856435227244, 396603811567338044, 406220912425943229, 409568861167648871, 414167616487930524, 421246671704557144, 433712905551146347, 438232776026443358, 443912193800243411, 447062672518823052, 447556833881673679, 508848695844886271, 518951766581214335, 520569536705484516, 521609047399277675, 522405807949134984, 525170680328467219, 528666807073202444, 535799654417615514, 539259023999629569, 544627118626512685, 799857727162373868, 801040043118742159, 801367650180537660, 809026649995715761, 812240560613624281, 823592059164862167, 824385909038306295, 825490311618039958, 834312978103556125, 834901863829024552, 847876214630953091, 856299685476472281, 857398248791227360, 857948666199734716, 867048257896603201, 867193398644745214, 867565136587034555, 884468651931649497, 892102364779514087, 898828670197501334, 911846567465579925, 914953786852016262, 915808597421389187, 916923697561663751, 919463083979985790, 920444682319923322, 927135011392522121, 931208391058361051, 933438556628337581, 940085848645590147, 943952907585295332, 948020991448833948, 957113193166213972, 958514057156190360, 971488348603194876, 986980114477960174, 989571473870949310, 994435480663061990, 999409086260155485, 1017839394505940575, 8915030484824904134, 8916418992819958175, 8928211782252854662, 8942065482486583840, 8944774731279865244, 8956125903016145267, 8965641748428583798, 8968218578560770616, 8986158215108854275, 8998001539302095189, 9008241246736858685, 9010610847852638090, 9027549230884399333, 9027975441738581935, 9033639950189353104, 9037056465613512832, 9063575083759952321, 9069395439763794780, 9079768500718942884, 9081630790670271621, 9082753911086518012, 9091019960429048010, 9099173198527214194, 9114557909553067108, 9119452257251856113, 9119667562869888599, 9124415961270793343, 9127856817992310683, 9133187933760717688, 9137199091166212461, 9143183145309367271, 9144390549365599883, 9148236431594859980, 9163094959754965808, 9164642532137192278, 9175066069493100476, 9194448223016382101, 9203320043215549293, 9205342544982975073, 1)";
      ResultSet rs = stmt.executeQuery(sql);

      // STEP 4: Extract data from result set
      while (rs.next()) {
        String c= rs.getString("c");
        //System.out.println("count: " + c);
      }

      // STEP 5: Clean-up environment
      rs.close();
      stmt.close();
      conn.close();
    } catch (SQLException se) {
      // Handle errors for JDBC
      se.printStackTrace();
    } catch (Exception e) {
      // Handle errors for Class.forName
      e.printStackTrace();
    } finally {
      // finally block used to close resources
      try {
        if (stmt != null) {
          stmt.close();
        }
      } catch (SQLException se2) {
      } // nothing we can do
      try {
        if (conn != null) {
          conn.close();
        }
      } catch (SQLException se) {
        se.printStackTrace();
      } // end finally try
    } // end try
  } // end main
} // end SampleJDBC
SwimmingTiger commented 4 years ago

The trace stack appears to be infinitely recursive and causes stack overflow. The problem seems to happen in the code generated by LLVM, so I have no idea to continue debugging.

Thread 9 "omnisci_server" received signal SIGSEGV, Segmentation fault.
[Switching to Thread 0x7fffd87fc700 (LWP 32289)]
0x0000555559b785f8 in computeKnownBitsFromAssume(llvm::Value const*, llvm::KnownBits&, unsigned int, (anonymous namespace)::Query const&)
    ()
(gdb) bt
#0  0x0000555559b785f8 in computeKnownBitsFromAssume(llvm::Value const*, llvm::KnownBits&, unsigned int, (anonymous namespace)::Query const&) ()
#1  0x0000555559b7ba33 in computeKnownBits(llvm::Value const*, llvm::KnownBits&, unsigned int, (anonymous namespace)::Query const&) ()     #2  0x0000555559b7cb47 in computeKnownBits(llvm::Value const*, llvm::KnownBits&, unsigned int, (anonymous namespace)::Query const&) ()     #3  0x0000555559b85d10 in llvm::computeKnownBits(llvm::Value const*, llvm::DataLayout const&, unsigned int, llvm::AssumptionCache*, llvm::Instruction const*, llvm::DominatorTree const*, llvm::OptimizationRemarkEmitter*, bool) ()
#4  0x0000555559b08e4f in llvm::ScalarEvolution::GetMinTrailingZerosImpl(llvm::SCEV const*) ()
#5  0x0000555559b0898b in llvm::ScalarEvolution::GetMinTrailingZeros(llvm::SCEV const*) ()
#6  0x0000555559b1507e in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) [clone .part.1386]
    ()
#7  0x0000555559b1667d in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) ()
#8  0x0000555559b16ab6 in StrengthenNoWrapFlags(llvm::ScalarEvolution*, llvm::SCEVTypes, llvm::SmallVectorImpl<llvm::SCEV const*> const&, llvm::SCEV::NoWrapFlags) ()
#9  0x0000555559b1b312 in llvm::ScalarEvolution::getAddExpr(llvm::SmallVectorImpl<llvm::SCEV const*>&, llvm::SCEV::NoWrapFlags, unsigned int) [clone .part.1392] ()
#10 0x00005555585773c4 in llvm::ScalarEvolution::getAddExpr(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int)       ()
#11 0x0000555559b1e5c6 in llvm::ScalarEvolution::getMinusSCEV(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int)     ()
#12 0x0000555559b12dbf in llvm::ScalarEvolution::createNodeForSelectOrPHI(llvm::Instruction*, llvm::Value*, llvm::Value*, llvm::Value*) () #13 0x0000555559b1427e in llvm::ScalarEvolution::createSCEV(llvm::Value*) ()
#14 0x0000555559b14b80 in llvm::ScalarEvolution::getSCEV(llvm::Value*) ()
#15 0x0000555559b16363 in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) [clone .part.1386]       ()
#16 0x0000555559b1667d in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) ()
#17 0x0000555559b16ab6 in StrengthenNoWrapFlags(llvm::ScalarEvolution*, llvm::SCEVTypes, llvm::SmallVectorImpl<llvm::SCEV const*> const&, llvm::SCEV::NoWrapFlags) ()
#18 0x0000555559b1b312 in llvm::ScalarEvolution::getAddExpr(llvm::SmallVectorImpl<llvm::SCEV const*>&, llvm::SCEV::NoWrapFlags, unsigned int) [clone .part.1392] ()
#19 0x00005555585773c4 in llvm::ScalarEvolution::getAddExpr(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int)       ()
#20 0x0000555559b1e5c6 in llvm::ScalarEvolution::getMinusSCEV(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int)     ()
#21 0x0000555559b12dbf in llvm::ScalarEvolution::createNodeForSelectOrPHI(llvm::Instruction*, llvm::Value*, llvm::Value*, llvm::Value*) ()
#22 0x0000555559b1427e in llvm::ScalarEvolution::createSCEV(llvm::Value*) ()
#23 0x0000555559b14b80 in llvm::ScalarEvolution::getSCEV(llvm::Value*) ()
#24 0x0000555559b16363 in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) [clone .part.1386]       ()
#25 0x0000555559b1667d in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) ()
#26 0x0000555559b16ab6 in StrengthenNoWrapFlags(llvm::ScalarEvolution*, llvm::SCEVTypes, llvm::SmallVectorImpl<llvm::SCEV const*> const&, llvm::SCEV::NoWrapFlags) ()
#27 0x0000555559b1b312 in llvm::ScalarEvolution::getAddExpr(llvm::SmallVectorImpl<llvm::SCEV const*>&, llvm::SCEV::NoWrapFlags, unsigned int) [clone .part.1392] ()
#28 0x00005555585773c4 in llvm::ScalarEvolution::getAddExpr(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int)       ()
#29 0x0000555559b1e5c6 in llvm::ScalarEvolution::getMinusSCEV(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int)
    ()

... Omit a lot of contents ...
... Constantly repeating in the LLVM functions ...

#4200 0x0000555559b16363 in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) [clone .part.1386]     ()
#4201 0x0000555559b1667d in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) ()
#4202 0x0000555559b16ab6 in StrengthenNoWrapFlags(llvm::ScalarEvolution*, llvm::SCEVTypes, llvm::SmallVectorImpl<llvm::SCEV const*> const&, llvm::SCEV::NoWrapFlags) ()
---Type <return> to continue, or q <return> to quit---
#4203 0x0000555559b1b312 in llvm::ScalarEvolution::getAddExpr(llvm::SmallVectorImpl<llvm::SCEV const*>&, llvm::SCEV::NoWrapFlags, unsigned int) [clone .part.1392] ()
#4204 0x00005555585773c4 in llvm::ScalarEvolution::getAddExpr(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int)     ()
#4205 0x0000555559b1e5c6 in llvm::ScalarEvolution::getMinusSCEV(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int) ()
#4206 0x0000555559b12dbf in llvm::ScalarEvolution::createNodeForSelectOrPHI(llvm::Instruction*, llvm::Value*, llvm::Value*, llvm::Value*)      ()
#4207 0x0000555559b1427e in llvm::ScalarEvolution::createSCEV(llvm::Value*) ()
#4208 0x0000555559b14b80 in llvm::ScalarEvolution::getSCEV(llvm::Value*) ()
#4209 0x0000555559b16363 in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) [clone .part.1386]     ()
#4210 0x0000555559b1667d in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) ()
#4211 0x0000555559b16ab6 in StrengthenNoWrapFlags(llvm::ScalarEvolution*, llvm::SCEVTypes, llvm::SmallVectorImpl<llvm::SCEV const*> const&, llvm::SCEV::NoWrapFlags) ()
#4212 0x0000555559b1b312 in llvm::ScalarEvolution::getAddExpr(llvm::SmallVectorImpl<llvm::SCEV const*>&, llvm::SCEV::NoWrapFlags, unsigned int) [clone .part.1392] ()
#4213 0x00005555585773c4 in llvm::ScalarEvolution::getAddExpr(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int)     ()
#4214 0x0000555559b1e5c6 in llvm::ScalarEvolution::getMinusSCEV(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int) ()

#4215 0x0000555559b12dbf in llvm::ScalarEvolution::createNodeForSelectOrPHI(llvm::Instruction*, llvm::Value*, llvm::Value*, llvm::Value*)      ()
#4216 0x0000555559b1427e in llvm::ScalarEvolution::createSCEV(llvm::Value*) ()
#4217 0x0000555559b14b80 in llvm::ScalarEvolution::getSCEV(llvm::Value*) ()
#4218 0x0000555559b16363 in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) [clone .part.1386]     ()
#4219 0x0000555559b1667d in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) ()
#4220 0x0000555559b16ab6 in StrengthenNoWrapFlags(llvm::ScalarEvolution*, llvm::SCEVTypes, llvm::SmallVectorImpl<llvm::SCEV const*> const&, llvm::SCEV::NoWrapFlags) ()
#4221 0x0000555559b1b312 in llvm::ScalarEvolution::getAddExpr(llvm::SmallVectorImpl<llvm::SCEV const*>&, llvm::SCEV::NoWrapFlags, unsigned int) [clone .part.1392] ()
#4222 0x00005555585773c4 in llvm::ScalarEvolution::getAddExpr(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int)     ()
#4223 0x0000555559b1e5c6 in llvm::ScalarEvolution::getMinusSCEV(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int) ()
#4224 0x0000555559b12dbf in llvm::ScalarEvolution::createNodeForSelectOrPHI(llvm::Instruction*, llvm::Value*, llvm::Value*, llvm::Value*)      ()
#4225 0x0000555559b1427e in llvm::ScalarEvolution::createSCEV(llvm::Value*) ()
#4226 0x0000555559b14b80 in llvm::ScalarEvolution::getSCEV(llvm::Value*) ()
#4227 0x0000555559b16363 in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) [clone .part.1386]     ()
#4228 0x0000555559b1667d in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) ()
#4229 0x0000555559b16ab6 in StrengthenNoWrapFlags(llvm::ScalarEvolution*, llvm::SCEVTypes, llvm::SmallVectorImpl<llvm::SCEV const*> const&, llvm::SCEV::NoWrapFlags) ()
#4230 0x0000555559b1b312 in llvm::ScalarEvolution::getAddExpr(llvm::SmallVectorImpl<llvm::SCEV const*>&, llvm::SCEV::NoWrapFlags, unsigned int) [clone .part.1392] ()

#4231 0x00005555585773c4 in llvm::ScalarEvolution::getAddExpr(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int)     ()
#4232 0x0000555559b1e5c6 in llvm::ScalarEvolution::getMinusSCEV(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int) ()
#4233 0x0000555559b12dbf in llvm::ScalarEvolution::createNodeForSelectOrPHI(llvm::Instruction*, llvm::Value*, llvm::Value*, llvm::Value*)      ()
#4234 0x0000555559b1427e in llvm::ScalarEvolution::createSCEV(llvm::Value*) ()
#4235 0x0000555559b14b80 in llvm::ScalarEvolution::getSCEV(llvm::Value*) ()
#4236 0x0000555559b16363 in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) [clone .part.1386]     ()
#4237 0x0000555559b1667d in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) ()
#4238 0x0000555559b16ab6 in StrengthenNoWrapFlags(llvm::ScalarEvolution*, llvm::SCEVTypes, llvm::SmallVectorImpl<llvm::SCEV const*> const&, llvm::SCEV::NoWrapFlags) ()
#4239 0x0000555559b1b312 in llvm::ScalarEvolution::getAddExpr(llvm::SmallVectorImpl<llvm::SCEV const*>&, llvm::SCEV::NoWrapFlags, unsigned int) [clone .part.1392] ()
#4240 0x00005555585773c4 in llvm::ScalarEvolution::getAddExpr(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int) ---Type <return> to continue, or q <return> to quit---
    ()
#4241 0x0000555559b1e5c6 in llvm::ScalarEvolution::getMinusSCEV(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int) ()
#4242 0x0000555559b12dbf in llvm::ScalarEvolution::createNodeForSelectOrPHI(llvm::Instruction*, llvm::Value*, llvm::Value*, llvm::Value*)      ()
#4243 0x0000555559b1427e in llvm::ScalarEvolution::createSCEV(llvm::Value*) ()
#4244 0x0000555559b14b80 in llvm::ScalarEvolution::getSCEV(llvm::Value*) ()
#4245 0x0000555559b16363 in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) [clone .part.1386]     ()
#4246 0x0000555559b1667d in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) ()

#4247 0x0000555559b16ab6 in StrengthenNoWrapFlags(llvm::ScalarEvolution*, llvm::SCEVTypes, llvm::SmallVectorImpl<llvm::SCEV const*> const&, llvm::SCEV::NoWrapFlags) ()
#4248 0x0000555559b1b312 in llvm::ScalarEvolution::getAddExpr(llvm::SmallVectorImpl<llvm::SCEV const*>&, llvm::SCEV::NoWrapFlags, unsigned int) [clone .part.1392] ()
#4249 0x00005555585773c4 in llvm::ScalarEvolution::getAddExpr(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int)
    ()
#4250 0x0000555559b1e5c6 in llvm::ScalarEvolution::getMinusSCEV(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int) ()
#4251 0x0000555559b12dbf in llvm::ScalarEvolution::createNodeForSelectOrPHI(llvm::Instruction*, llvm::Value*, llvm::Value*, llvm::Value*)      ()
#4252 0x0000555559b1427e in llvm::ScalarEvolution::createSCEV(llvm::Value*) ()
#4253 0x0000555559b14b80 in llvm::ScalarEvolution::getSCEV(llvm::Value*) ()
#4254 0x0000555559b16363 in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) [clone .part.1386]     ()
#4255 0x0000555559b1667d in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) ()
#4256 0x0000555559b16ab6 in StrengthenNoWrapFlags(llvm::ScalarEvolution*, llvm::SCEVTypes, llvm::SmallVectorImpl<llvm::SCEV const*> const&, llvm::SCEV::NoWrapFlags) ()
#4257 0x0000555559b1b312 in llvm::ScalarEvolution::getAddExpr(llvm::SmallVectorImpl<llvm::SCEV const*>&, llvm::SCEV::NoWrapFlags, unsigned int) [clone .part.1392] ()
#4258 0x00005555585773c4 in llvm::ScalarEvolution::getAddExpr(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int)     ()
#4259 0x0000555559b1e5c6 in llvm::ScalarEvolution::getMinusSCEV(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int) ()
#4260 0x0000555559b12dbf in llvm::ScalarEvolution::createNodeForSelectOrPHI(llvm::Instruction*, llvm::Value*, llvm::Value*, llvm::Value*)      ()
#4261 0x0000555559b1427e in llvm::ScalarEvolution::createSCEV(llvm::Value*) ()
#4262 0x0000555559b14b80 in llvm::ScalarEvolution::getSCEV(llvm::Value*) ()

#4263 0x0000555559b16363 in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) [clone .part.1386]     ()
#4264 0x0000555559b1667d in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) ()
#4265 0x0000555559b16ab6 in StrengthenNoWrapFlags(llvm::ScalarEvolution*, llvm::SCEVTypes, llvm::SmallVectorImpl<llvm::SCEV const*> const&, llvm::SCEV::NoWrapFlags) ()
#4266 0x0000555559b1b312 in llvm::ScalarEvolution::getAddExpr(llvm::SmallVectorImpl<llvm::SCEV const*>&, llvm::SCEV::NoWrapFlags, unsigned int) [clone .part.1392] ()
#4267 0x00005555585773c4 in llvm::ScalarEvolution::getAddExpr(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int)     ()
#4268 0x0000555559b1e5c6 in llvm::ScalarEvolution::getMinusSCEV(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int) ()
#4269 0x0000555559b12dbf in llvm::ScalarEvolution::createNodeForSelectOrPHI(llvm::Instruction*, llvm::Value*, llvm::Value*, llvm::Value*)      ()
#4270 0x0000555559b1427e in llvm::ScalarEvolution::createSCEV(llvm::Value*) ()
#4271 0x0000555559b14b80 in llvm::ScalarEvolution::getSCEV(llvm::Value*) ()
#4272 0x0000555559b16363 in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) [clone .part.1386]     ()
#4273 0x0000555559b1667d in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) ()
#4274 0x0000555559b16ab6 in StrengthenNoWrapFlags(llvm::ScalarEvolution*, llvm::SCEVTypes, llvm::SmallVectorImpl<llvm::SCEV const*> const&, llvm::SCEV::NoWrapFlags) ()
#4275 0x0000555559b1b312 in llvm::ScalarEvolution::getAddExpr(llvm::SmallVectorImpl<llvm::SCEV const*>&, llvm::SCEV::NoWrapFlags, unsigned int) [clone .part.1392] ()
#4276 0x00005555585773c4 in llvm::ScalarEvolution::getAddExpr(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int)     ()
#4277 0x0000555559b1e5c6 in llvm::ScalarEvolution::getMinusSCEV(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int) ()
---Type <return> to continue, or q <return> to quit---
#4278 0x0000555559b12dbf in llvm::ScalarEvolution::createNodeForSelectOrPHI(llvm::Instruction*, llvm::Value*, llvm::Value*, llvm::Value*)      ()

#4279 0x0000555559b1427e in llvm::ScalarEvolution::createSCEV(llvm::Value*) ()
#4280 0x0000555559b14b80 in llvm::ScalarEvolution::getSCEV(llvm::Value*) ()
#4281 0x0000555559b16363 in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) [clone .part.1386]     ()
#4282 0x0000555559b1667d in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) ()
#4283 0x0000555559b16ab6 in StrengthenNoWrapFlags(llvm::ScalarEvolution*, llvm::SCEVTypes, llvm::SmallVectorImpl<llvm::SCEV const*> const&, llvm::SCEV::NoWrapFlags) ()
#4284 0x0000555559b1b312 in llvm::ScalarEvolution::getAddExpr(llvm::SmallVectorImpl<llvm::SCEV const*>&, llvm::SCEV::NoWrapFlags, unsigned int) [clone .part.1392] ()
#4285 0x00005555585773c4 in llvm::ScalarEvolution::getAddExpr(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int)     ()
#4286 0x0000555559b1e5c6 in llvm::ScalarEvolution::getMinusSCEV(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int) ()
#4287 0x0000555559b12dbf in llvm::ScalarEvolution::createNodeForSelectOrPHI(llvm::Instruction*, llvm::Value*, llvm::Value*, llvm::Value*)      ()
#4288 0x0000555559b1427e in llvm::ScalarEvolution::createSCEV(llvm::Value*) ()
#4289 0x0000555559b14b80 in llvm::ScalarEvolution::getSCEV(llvm::Value*) ()
#4290 0x0000555559b16363 in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) [clone .part.1386]     ()
#4291 0x0000555559b1667d in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) ()
#4292 0x0000555559b16ab6 in StrengthenNoWrapFlags(llvm::ScalarEvolution*, llvm::SCEVTypes, llvm::SmallVectorImpl<llvm::SCEV const*> const&, llvm::SCEV::NoWrapFlags) ()
#4293 0x0000555559b1b312 in llvm::ScalarEvolution::getAddExpr(llvm::SmallVectorImpl<llvm::SCEV const*>&, llvm::SCEV::NoWrapFlags, unsigned int) [clone .part.1392] ()
#4294 0x00005555585773c4 in llvm::ScalarEvolution::getAddExpr(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int)
    ()
#4295 0x0000555559b1e5c6 in llvm::ScalarEvolution::getMinusSCEV(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int) ()
#4296 0x0000555559b12dbf in llvm::ScalarEvolution::createNodeForSelectOrPHI(llvm::Instruction*, llvm::Value*, llvm::Value*, llvm::Value*)      ()
#4297 0x0000555559b1427e in llvm::ScalarEvolution::createSCEV(llvm::Value*) ()
#4298 0x0000555559b14b80 in llvm::ScalarEvolution::getSCEV(llvm::Value*) ()
#4299 0x0000555559b16363 in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) [clone .part.1386]     ()
#4300 0x0000555559b1667d in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) ()
#4301 0x0000555559b16ab6 in StrengthenNoWrapFlags(llvm::ScalarEvolution*, llvm::SCEVTypes, llvm::SmallVectorImpl<llvm::SCEV const*> const&, llvm::SCEV::NoWrapFlags) ()
#4302 0x0000555559b1b312 in llvm::ScalarEvolution::getAddExpr(llvm::SmallVectorImpl<llvm::SCEV const*>&, llvm::SCEV::NoWrapFlags, unsigned int) [clone .part.1392] ()

#4303 0x00005555585773c4 in llvm::ScalarEvolution::getAddExpr(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int)     ()
#4304 0x0000555559b1e5c6 in llvm::ScalarEvolution::getMinusSCEV(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int) ()
#4305 0x0000555559b12dbf in llvm::ScalarEvolution::createNodeForSelectOrPHI(llvm::Instruction*, llvm::Value*, llvm::Value*, llvm::Value*)
    ()
#4306 0x0000555559b1427e in llvm::ScalarEvolution::createSCEV(llvm::Value*) ()
#4307 0x0000555559b14b80 in llvm::ScalarEvolution::getSCEV(llvm::Value*) ()
#4308 0x0000555559b16363 in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) [clone .part.1386]     ()
#4309 0x0000555559b1667d in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) ()
#4310 0x0000555559b15f87 in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) [clone .part.1386]     ()
#4311 0x0000555559b1667d in llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*, llvm::ScalarEvolution::RangeSignHint) ()
#4312 0x0000555559b1e4d7 in llvm::ScalarEvolution::getMinusSCEV(llvm::SCEV const*, llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int) ()
#4313 0x0000555559b12cc5 in llvm::ScalarEvolution::createNodeForSelectOrPHI(llvm::Instruction*, llvm::Value*, llvm::Value*, llvm::Value*)      ()
#4314 0x0000555559b1314a in llvm::ScalarEvolution::createNodeFromSelectLikePHI(llvm::PHINode*) ()
#4315 0x0000555559b131f3 in llvm::ScalarEvolution::createNodeForPHI(llvm::PHINode*) ()
#4316 0x0000555559b14293 in llvm::ScalarEvolution::createSCEV(llvm::Value*) ()
#4317 0x0000555559b14b80 in llvm::ScalarEvolution::getSCEV(llvm::Value*) ()

---Type <return> to continue, or q <return> to quit---
#4318 0x0000555559b2a6b1 in llvm::ScalarEvolution::createAddRecFromPHI(llvm::PHINode*) ()
#4319 0x0000555559b131b9 in llvm::ScalarEvolution::createNodeForPHI(llvm::PHINode*) ()
#4320 0x0000555559b14293 in llvm::ScalarEvolution::createSCEV(llvm::Value*) ()
#4321 0x0000555559b14b80 in llvm::ScalarEvolution::getSCEV(llvm::Value*) ()
#4322 0x00005555596f561f in (anonymous namespace)::StraightLineStrengthReduce::allocateCandidatesAndFindBasisForAdd(llvm::Value*, llvm::Value*, llvm::Instruction*) ()
#4323 0x00005555596f67fd in (anonymous namespace)::StraightLineStrengthReduce::runOnFunction(llvm::Function&) [clone .part.231] ()
#4324 0x0000555559e1c749 in llvm::FPPassManager::runOnFunction(llvm::Function&) ()
#4325 0x0000555559e1c7d1 in llvm::FPPassManager::runOnModule(llvm::Module&) ()
#4326 0x0000555559e1baf9 in llvm::legacy::PassManagerImpl::run(llvm::Module&) ()

#4327 0x000055555792d0f8 in CodeGenerator::generatePTX (

    cuda_llir="\ndeclare void @llvm.dbg.declare(metadata, metadata, metadata)\ndeclare void @llvm.dbg.value(metadata, metadata, metadata)\ndeclare void @llvm.lifetime.start(i64, i8* nocapture) nounwind\ndeclare void @ll"..., nvptx_target_machine=0x7fffa4274b90,
    cgen_state=0x7fffa41438d0) at /home/hu60/gpusql/omniscidb/QueryEngine/NativeCodegen.cpp:857
#4328 0x000055555792ba96 in CodeGenerator::generateNativeGPUCode (func=0x7fffa4118478, wrapper_func=0x7fffa40fd798,
    live_funcs=std::unordered_set with 13 elements = {...}, co=..., gpu_target=...)
    at /home/hu60/gpusql/omniscidb/QueryEngine/NativeCodegen.cpp:734
#4329 0x000055555792cba4 in Executor::optimizeAndCodegenGPU (this=0x7fffa405db20, query_func=0x7fffa4118478,
    multifrag_query_func=0x7fffa40fd798, live_funcs=std::unordered_set with 13 elements = {...}, no_inline=false,
    cuda_mgr=0x55555d4fd510, co=...) at /home/hu60/gpusql/omniscidb/QueryEngine/NativeCodegen.cpp:821

#4330 0x000055555793467f in Executor::compileWorkUnit (this=0x7fffa405db20, query_infos=std::vector of length 1, capacity 1 = {...},
    ra_exe_unit=..., co=..., eo=..., cuda_mgr=0x55555d4fd510, allow_lazy_fetch=true, row_set_mem_owner=
    std::shared_ptr<RowSetMemoryOwner> (use count 6, weak count 0) = {...}, max_groups_buffer_entry_guess=16384,
    crt_min_byte_width=8 '\b', has_cardinality_estimation=true, column_cache=std::unordered_map with 0 elements, render_info=0x0)
    at /home/hu60/gpusql/omniscidb/QueryEngine/NativeCodegen.cpp:1790
#4331 0x0000555557e4bdb5 in QueryCompilationDescriptor::compile (this=0x7fffa40019d0, max_groups_buffer_entry_guess=16384,
    crt_min_byte_width=8 '\b', has_cardinality_estimation=true, ra_exe_unit=..., table_infos=std::vector of length 1, capacity 1 = {...},
    column_fetcher=..., co=..., eo=..., render_info=0x0, executor=0x7fffa405db20)
    at /home/hu60/gpusql/omniscidb/QueryEngine/Descriptors/QueryCompilationDescriptor.cpp:36
#4332 0x00005555578cfdb9 in Executor::ExecutionDispatch::compile (this=0x7fffd87f87a0, max_groups_buffer_entry_guess=16384,
    crt_min_byte_width=8 '\b', co=..., eo=..., column_fetcher=..., has_cardinality_estimation=true)
    at /home/hu60/gpusql/omniscidb/QueryEngine/ExecutionDispatch.cpp:281
#4333 0x0000555557839576 in Executor::executeWorkUnitImpl (this=0x7fffa405db20, max_groups_buffer_entry_guess=@0x7fffd87f8cc0: 16384,          is_agg=true, allow_single_frag_table_opt=true, query_infos=std::vector of length 1, capacity 1 = {...}, ra_exe_unit_in=..., co=...,        eo=..., cat=..., row_set_mem_owner=std::shared_ptr<RowSetMemoryOwner> (use count 6, weak count 0) = {...}, render_info=0x0,
    has_cardinality_estimation=true, column_cache=std::unordered_map with 0 elements)
    at /home/hu60/gpusql/omniscidb/QueryEngine/Execute.cpp:1180
#4334 0x0000555557838d10 in Executor::executeWorkUnit (this=0x7fffa405db20, max_groups_buffer_entry_guess=@0x7fffd87f8cc0: 16384,
    is_agg=true, query_infos=std::vector of length 1, capacity 1 = {...}, ra_exe_unit_in=..., co=..., eo=..., cat=...,
    row_set_mem_owner=std::shared_ptr<RowSetMemoryOwner> (use count 6, weak count 0) = {...}, render_info=0x0,
    has_cardinality_estimation=true, column_cache=std::unordered_map with 0 elements)
    at /home/hu60/gpusql/omniscidb/QueryEngine/Execute.cpp:1128
#4335 0x0000555557a10b64 in RelAlgExecutor::<lambda(auto:4, bool)>::operator()<long unsigned int>(unsigned long, bool) const (
    __closure=0x7fffd87f9060, max_groups_buffer_entry_guess_in=16384, has_cardinality_estimation=true)
    at /home/hu60/gpusql/omniscidb/QueryEngine/RelAlgExecutor.cpp:1941
#4336 0x0000555557a05b43 in RelAlgExecutor::executeWorkUnit (this=0x7fffd87fa330, work_unit=...,
    targets_meta=std::vector of length 1, capacity 1 = {...}, is_agg=true, co_in=..., eo=..., render_info=0x0, queue_time_ms=0,
    previous_count=-1) at /home/hu60/gpusql/omniscidb/QueryEngine/RelAlgExecutor.cpp:1957
#4337 0x0000555557a02f78 in RelAlgExecutor::executeSort (this=0x7fffd87fa330, sort=0x7fffa4001de0, co=..., eo=..., render_info=0x0,
    queue_time_ms=0) at /home/hu60/gpusql/omniscidb/QueryEngine/RelAlgExecutor.cpp:1588
#4338 0x00005555579fa32d in RelAlgExecutor::executeRelAlgStep (this=0x7fffd87fa330, seq=..., step_idx=0, co=..., eo=..., render_info=0x0,
    queue_time_ms=0) at /home/hu60/gpusql/omniscidb/QueryEngine/RelAlgExecutor.cpp:395
#4339 0x00005555579f93fd in RelAlgExecutor::executeRelAlgSeq (this=0x7fffd87fa330, seq=..., co=..., eo=..., render_info=0x0,
    queue_time_ms=0, with_existing_temp_tables=false) at /home/hu60/gpusql/omniscidb/QueryEngine/RelAlgExecutor.cpp:265
#4340 0x00005555579f80f0 in RelAlgExecutor::executeRelAlgQueryNoRetry (this=0x7fffd87fa330,
    query_ra="{\n  \"rels\": [\n    {\n      \"id\": \"0\",\n      \"relOp\": \"EnumerableTableScan\",\n      \"fieldNames\": [\n        \"a\",\n        \"rowid\"\n      ],\n      \"table\": [\n        \"omnisci\",\n        \"test\"\n      ],\n     "..., co=..., eo=...,            render_info=0x0) at /home/hu60/gpusql/omniscidb/QueryEngine/RelAlgExecutor.cpp:153
#4341 0x00005555579f77ba in RelAlgExecutor::executeRelAlgQuery (this=0x7fffd87fa330,
    query_ra="{\n  \"rels\": [\n    {\n      \"id\": \"0\",\n      \"relOp\": \"EnumerableTableScan\",\n      \"fieldNames\": [\n        \"a\",\n        \"rowid\"\n      ],\n      \"table\": [\n        \"omnisci\",\n        \"test\"\n      ],\n     "..., co=..., eo=...,            render_info=0x0) at /home/hu60/gpusql/omniscidb/QueryEngine/RelAlgExecutor.cpp:71
#4342 0x00005555574db71d in MapDHandler::<lambda()>::operator()(void) const (__closure=0x7fffd87fa0a0)
---Type <return> to continue, or q <return> to quit---
    at /home/hu60/gpusql/omniscidb/ThriftHandler/MapDHandler.cpp:4446
#4343 0x00005555574e8cf6 in measure<std::chrono::duration<long, std::ratio<1, 1000> > >::execution<MapDHandler::execute_rel_alg(TQueryResult&, query_state::QueryStateProxy, const string&, bool, ExecutorDeviceType, int32_t, int32_t, bool, bool, bool, bool, bool) const::<lambda()> >(MapDHandler::<lambda()>) (func=...) at /home/hu60/gpusql/omniscidb/QueryEngine/../Shared/measure.h:32
#4344 0x00005555574dbc72 in MapDHandler::execute_rel_alg (this=0x55555d562370, _return=..., query_state_proxy=...,
    query_ra="{\n  \"rels\": [\n    {\n      \"id\": \"0\",\n      \"relOp\": \"EnumerableTableScan\",\n      \"fieldNames\": [\n        \"a\",\n        \"rowid\"\n      ],\n      \"table\": [\n        \"omnisci\",\n        \"test\"\n      ],\n     "..., column_format=true,        executor_device_type=ExecutorDeviceType::GPU, first_n=-1, at_most_n=-1, just_explain=false, just_validate=false,
    find_push_down_candidates=false, just_calcite_explain=false, explain_optimized_ir=false)
    at /home/hu60/gpusql/omniscidb/ThriftHandler/MapDHandler.cpp:4445
#4345 0x00005555574e02bf in MapDHandler::sql_execute_impl (this=0x55555d562370, _return=..., query_state_proxy=..., column_format=true,        nonce="", executor_device_type=ExecutorDeviceType::GPU, first_n=-1, at_most_n=-1)
    at /home/hu60/gpusql/omniscidb/ThriftHandler/MapDHandler.cpp:4880
#4346 0x00005555574b6fa4 in MapDHandler::<lambda()>::operator()(void) const (__closure=0x7fffd87faef0)
    at /home/hu60/gpusql/omniscidb/ThriftHandler/MapDHandler.cpp:837
#4347 0x00005555574e88c6 in measure<std::chrono::duration<long, std::ratio<1, 1000> > >::execution<MapDHandler::sql_execute(TQueryResult&, const TSessionId&, const string&, bool, const string&, int32_t, int32_t)::<lambda()> >(MapDHandler::<lambda()>) (func=...)
    at /home/hu60/gpusql/omniscidb/QueryEngine/../Shared/measure.h:32
#4348 0x00005555574b75b1 in MapDHandler::sql_execute (this=0x55555d562370, _return=..., session="8NQMGLhCYK9aANnnXcdiHJ2ijrP5caM9",
    query_str="SELECT COUNT(*) as c FROM test WHERE a NOT IN (-9212201664208840925, -9191564153362513115, -9178479508757253918, -9177935854403842789, -9172841025551745399, -9166775625211912014, -9165434739504659648,"..., column_format=true, nonce="", first_n=-1, at_most_n=-1)      at /home/hu60/gpusql/omniscidb/ThriftHandler/MapDHandler.cpp:836
#4349 0x00005555573d9d23 in MapDProcessor::process_sql_execute (this=0x55555da54ba0, seqid=3, iprot=0x7fffac0011f0, oprot=0x7fffac001910,      callContext=0x0) at /home/hu60/gpusql/omniscidb/build/gen-cpp/MapD.cpp:24767
#4350 0x00005555573cba4c in MapDProcessor::dispatchCall (this=0x55555da54ba0, iprot=0x7fffac0011f0, oprot=0x7fffac001910,
    fname="sql_execute", seqid=3, callContext=0x0) at /home/hu60/gpusql/omniscidb/build/gen-cpp/MapD.cpp:23215
#4351 0x000055555731aa22 in apache::thrift::TDispatchProcessor::process (this=0x55555da54ba0,
    in=std::shared_ptr<apache::thrift::protocol::TProtocol> (use count 2, weak count 0) = {...},
    out=std::shared_ptr<apache::thrift::protocol::TProtocol> (use count 2, weak count 0) = {...}, connectionContext=0x0)
    at /usr/local/mapd-deps/lib/../include/thrift/TDispatchProcessor.h:121
#4352 0x00007ffff1209909 in apache::thrift::server::TConnectedClient::run() () from /usr/local/mapd-deps/lib/libthrift-0.11.0.so
#4353 0x00007ffff120f755 in apache::thrift::server::TThreadedServer::TConnectedClientRunner::run() ()
   from /usr/local/mapd-deps/lib/libthrift-0.11.0.so
#4354 0x00007ffff1221683 in apache::thrift::concurrency::PthreadThread::threadMain(void*) ()
   from /usr/local/mapd-deps/lib/libthrift-0.11.0.so
#4355 0x00007ffff4f086db in start_thread (arg=0x7fffd87fc700) at pthread_create.c:463
#4356 0x00007ffff04cb88f in clone () at ../sysdeps/unix/sysv/linux/x86_64/clone.S:95
(gdb)